TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

de Gouw, Stijn and de Boer, Frank S. and Ahrendt, Wolfgang and Bubel, Richard van Emde Boas, Peter and Groen, Frans C. A. and Italiano, Giuseppe F. and Nawrocki, Jerzy R. and Sack, Harald (eds.) (2013):
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
7741In: Lecture Notes in Computer Science, Springer, In: SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, \vpindler\rv Ml\'n, Czech Republic, January 26-31, 2013. Proceedings, pp. 207-219, DOI: 10.1007/978-3-642-35843-2₁₉,
[Online-Edition: https://doi.org/10.1007/978-3-642-35843-2_19],
[Conference or Workshop Item]

This list was generated on Tue Aug 4 01:22:08 2020 CEST.