Login
Dokumenttyp:
Zeitschriftenartikel / Journal Article
Titel:
An Exercise in Program Synthesis
Untertitel:
Algorithms for Computing the Transitive Closure of a Relation
Zeitschrift:
Science of Computer Programming
Jahrgang:
1
Heftnummer:
3
Jahr:
1982
Seiten von - bis:
235-254
Sprache:
Englisch
URL zum Inhalt:
Fakultät:
Fakultät für Informatik
Institut:
INF 2 - Institut für Softwaretechnologie
Professur:
Schmitz, Lothar
BibTeX