Search results
Lecture Notes in Computer Science > STACS 2006 > 500-511
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 161-175
Lecture Notes in Computer Science > Advances in Artificial Intelligence – SBIA 2004 > Logics, Planning, and Theoretical Methods > 1-10
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 356-371
Lecture Notes in Computer Science > Logic, Rationality, and Interaction > Contributed Papers > 161-179
Lecture Notes in Computer Science > Knowledge-Based and Intelligent Information and Engineering Systems > Innovations in Intelligent Systems (II) > 356-363
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 68-77
Lecture Notes in Computer Science > Relational and Kleene-Algebraic Methods in Computer Science > Contributed Papers > 215-226
Lecture Notes in Computer Science > Advances in Web and Network Technologies, and Information Management > Short Paper > 528-533
Lecture Notes in Computer Science > Argumentation in Multi-Agent Systems > Theoretical Aspects > 190-208
Lecture Notes in Computer Science > STACS 91 > 523-534
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 2. Concurrency > 97-111
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 110-124