| dc.contributor |
Tübingen / Wilhelm-Schickard-Institut für Informatik |
de_DE |
| dc.contributor.author |
Musser, David R. |
de_DE |
| dc.contributor.author |
Schupp, Sibylle |
de_DE |
| dc.contributor.author |
Schwarzweller, Christoph |
de_DE |
| dc.contributor.author |
Loos, Rüdiger |
de_DE |
| dc.date.accessioned |
2004-04-26 |
de_DE |
| dc.date.accessioned |
2014-03-18T10:12:38Z |
|
| dc.date.available |
2004-04-26 |
de_DE |
| dc.date.available |
2014-03-18T10:12:38Z |
|
| dc.date.issued |
1999 |
de_DE |
| dc.identifier.other |
111265894 |
de_DE |
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-12056 |
de_DE |
| dc.identifier.uri |
http://hdl.handle.net/10900/48592 |
|
| dc.description.abstract |
Tecton is an algebraic specification language. This report contains a considerable body of Tecton concepts which evolved over a long time. The concepts serve as a test bed for a Tecton translator and are a formal base for declarations occurring in algorithms from all areas of programming but in particular from computer algebra. |
en |
| dc.language.iso |
en |
de_DE |
| dc.publisher |
Universität Tübingen |
de_DE |
| dc.rights |
ubt-nopod |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_ubt-nopod.php?la=de |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_ubt-nopod.php?la=en |
en |
| dc.subject.classification |
Tübingen / Wilhelm-Schickard-Institut für Informatik |
de_DE |
| dc.subject.ddc |
004 |
de_DE |
| dc.title |
The Tecton Concept Library |
en |
| dc.type |
Report |
de_DE |
| dc.date.updated |
2012-10-11 |
de_DE |
| utue.publikation.fachbereich |
Sonstige - Informations- und Kognitionswissenschaften |
de_DE |
| utue.publikation.fakultaet |
7 Mathematisch-Naturwissenschaftliche Fakultät |
de_DE |
| dcterms.DCMIType |
Text |
de_DE |
| utue.publikation.typ |
report |
de_DE |
| utue.opus.id |
1205 |
de_DE |
| utue.opus.portal |
wsi |
de_DE |
| utue.opus.portalzaehlung |
1999.02000 |
de_DE |
| utue.publikation.source |
WSI ; 1999 ; 2 |
de_DE |
| utue.publikation.reihenname |
WSI-Reports - Schriftenreihe des Wilhelm-Schickard-Instituts für Informatik |
de_DE |
| utue.publikation.zsausgabe |
1999, 2 |
|
| utue.publikation.erstkatid |
2919855-0 |
|
