Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Notes in Theoretical Computer Science, Volume 174
Volume 174, Number 1, April 2007
- Maribel Fernández, Ralf Lämmel:
Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(1), Elsevier 2007 [contents]
Volume 174, Number 2, May 2007
- Serge Autexier, Christoph Benzmüller:
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(2), Elsevier 2007 [contents]
Volume 174, Number 3, May 2007
- Ofer Strichman, Armin Biere:
Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006. Electronic Notes in Theoretical Computer Science 174(3), Elsevier 2007 [contents]
Volume 174, Number 4, May 2007
- Roderick Bloem, Marco Roveri, Fabio Somenzi:
Proceedings of the Workshop on Verification and Debugging, V&D@FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(4), Elsevier 2007 [contents]
Volume 174, Number 5, June 2007
- Alberto Momigliano, Brigitte Pientka:
Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle, WA, USA, August 16, 2006. Electronic Notes in Theoretical Computer Science 174(5), Elsevier 2007 [contents]
Volume 174, Number 6, June 2007
- Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(6), Elsevier 2007 [contents]
Volume 174, Number 7, June 2007
- Aaron Stump, Hongwei Xi:
Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(7), Elsevier 2007 [contents]
Volume 174, Number 8, June 2007
- Michael W. Mislove:
Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), Parts of FloC 2006, Seattle, WA, USA, August 2006. Electronic Notes in Theoretical Computer Science 174(8), Elsevier 2007 [contents]
Volume 174, Number 9, June 2007
- Ganesh Gopalakrishnan, John O'Leary:
Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle, WA, USA, August 21-22, 2006. Electronic Notes in Theoretical Computer Science 174(9), Elsevier 2007 [contents]
Volume 174, Number 10, July 2007
- Sergio Antoy:
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(10), Elsevier 2007 [contents]
Volume 174, Number 11, July 2007
- Myla Archer, Thierry Boy de la Tour, César A. Muñoz:
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006. Electronic Notes in Theoretical Computer Science 174(11), Elsevier 2007 [contents]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
