Login
Document type:
Zeitschriftenartikel / Journal Article
Title:
An Exercise in Program Synthesis
Subtitle:
Algorithms for Computing the Transitive Closure of a Relation
Journal:
Science of Computer Programming
Volume:
1
Issue:
3
Year:
1982
Pages from - to:
235-254
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Schmitz, Lothar
BibTeX