Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=523
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Verification of gap-order constraint abstractions of counter systems
Laura Bozzelli
,
Sophie Pinchinat
Theoretical Computer Science
523
, 2014, pp. 1-36
Restriction categories as enriched categories
Robin Cockett
,
Richard Garner
Theoretical Computer Science
523
, 2014, pp. 37-55
Base modules for parametrized iterativity
Jiȓí Adámek
,
Stefan Milius
,
Jiȓí Velebil
Theoretical Computer Science
523
, 2014, pp. 56-85
Henkin quantifiers and Boolean formulae: A certification perspective of DQBF
Valeriy Balabanov
,
Hui-Ju Katherine Chiang
,
Jie-Hong R. Jiang
Theoretical Computer Science
523
, 2014, pp. 86-100