Turing-completeness of polymorphic stream equation systems
Paper i proceeding, 2012
Författare
Christian Sattler
Logik och Typer
Florent Balestrieri
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 15 256-271, ,
Ämneskategorier
Algebra och logik
Datavetenskap (datalogi)
DOI
10.4230/LIPIcs.RTA.2012.256