zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Siegler, Simon (ed.) et al., Verification, induction, termination analysis. Festschrift for Christoph Walther on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-17171-0/pbk). Lecture Notes in Computer Science 6463. Lecture Notes in Artificial Intelligence, 54-80 (2010).
MSC:  68Q60 03G30 68R10
BibTeX Cite
Full Text: DOI
Armando, Alessandro (ed.), Frontiers of combining systems. 4th international workshop, FroCos 2002, Santa Margherita Ligure, Italy, April 8–10, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43381-3). Lect. Notes Comput. Sci. 2309, 2-17 (2002).
MSC:  68T15
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication