The Tecton Concept Library

DSpace Repository

Show simple item record

dc.contributor Tübingen / Wilhelm-Schickard-Institut für Informatik de_DE Musser, David R. de_DE Schupp, Sibylle de_DE Schwarzweller, Christoph de_DE Loos, Rüdiger de_DE 2004-04-26 de_DE 2014-03-18T10:12:38Z 2004-04-26 de_DE 2014-03-18T10:12:38Z 1999 de_DE
dc.identifier.other 111265894 de_DE
dc.identifier.uri de_DE
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 de_DE
dc.rights.uri 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 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 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


This item appears in the following Collection(s)

Show simple item record