The Tecton Concept Library

DSpace Repository

Show simple item record

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

Dateien:

This item appears in the following Collection(s)

Show simple item record