×

zbMATH — the first resource for mathematics

Found 41 Documents (Results 1–41)

100
MathJax
van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 3-16 (2011).
MSC:  03B45 03B35 03B70
PDF BibTeX XML Cite
Full Text: DOI
Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 193-208, electronic only (2010).
MSC:  68Q45 03B70
PDF BibTeX XML Cite
Full Text: DOI Link
Adriaans, Pieter (ed.) et al., Grammatical inference: Algorithms and applications. 6th international colloquium, ICGI 2002, Amsterdam, the Netherlands, September 23-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2484, 120-133 (2002).
PDF BibTeX XML Cite
Full Text: Link
Lecture Notes in Artificial Intelligence. 418. Berlin etc.: Springer- Verlag. VIII, 307 p. (1990).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software