Volume 204,
Number 1,
January 2006
Volume 204,
Number 2,
February 2006
Volume 204,
Number 3,
March 2006
Volume 204,
Number 4,
April 2006
Seventh Workshop on Coalgebraic Methods in Computer Science 2004
- Jirí Adámek, Stefan Milius:
Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004.
435-436
Electronic Edition (link) BibTeX
- Venanzio Capretta, Tarmo Uustalu, Varmo Vene:
Recursive coalgebras from comonads.
437-468
Electronic Edition (link) BibTeX
- Corina Cîrstea:
A modular approach to defining and characterising notions of simulation.
469-502
Electronic Edition (link) BibTeX
- Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden:
Bisimulation and cocongruence for probabilistic systems.
503-523
Electronic Edition (link) BibTeX
- Marcelo P. Fiore, Sam Staton:
Comparing operational models of name-passing process calculi.
524-560
Electronic Edition (link) BibTeX
- Bart Jacobs:
Distributive laws for the coinductive solution of recursive equations.
561-587
Electronic Edition (link) BibTeX
- Marco Kick, John Power, Alex Simpson:
Coalgebraic semantics for timed processes.
588-609
Electronic Edition (link) BibTeX
- Lawrence S. Moss, Ignacio D. Viglizzo:
Final coalgebras for functors on measurable spaces.
610-636
Electronic Edition (link) BibTeX
- Yde Venema:
Automata and fixed point logic: A coalgebraic perspective.
637-678
Electronic Edition (link) BibTeX
Volume 204,
Number 5,
May 2006
- Sergio Flesca, Filippo Furfaro, Sergio Greco:
Weighted path queries on semistructured databases.
679-696
Electronic Edition (link) BibTeX
- Philippe Duchon, Nicolas Hanusse, Nasser Saheb, Akka Zemmari:
Broadcast in the rendezvous model.
697-712
Electronic Edition (link) BibTeX
- Alexander Rabinovich:
Quantitative analysis of probabilistic lossy channel systems.
713-740
Electronic Edition (link) BibTeX
- Lars Eirik Danielsen, T. Aaron Gulliver, Matthew G. Parker:
Aperiodic propagation criteria for Boolean functions.
741-770
Electronic Edition (link) BibTeX
- Paulo Mateus, Amílcar Sernadas:
Weakly complete axiomatization of exogenous quantum propositional logic.
771-794
Electronic Edition (link) BibTeX
- György Dósa, Yong He:
Bin packing problems with rejection penalties and their dual problems.
795-815
Electronic Edition (link) BibTeX
- Marta Arias, Aaron Feigelson, Roni Khardon, Rocco A. Servedio:
Polynomial certificates for propositional classes.
816-834
Electronic Edition (link) BibTeX
- Vikraman Arvind, Piyush P. Kurur:
Graph Isomorphism is in SPP.
835-852
Electronic Edition (link) BibTeX
Volume 204,
Number 6,
June 2006
Volume 204,
Number 7,
July 2006
Volume 204,
Number 8,
August 2006
Volume 204,
Number 9,
September 2006
Volume 204,
Number 10,
October 2006
Combining Logical Systems
- Alessandro Armando, Christophe Ringeissen:
Special issue on combining logical systems.
1411-1412
Electronic Edition (link) BibTeX
- Franz Baader, Silvio Ghilardi, Cesare Tinelli:
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics.
1413-1452
Electronic Edition (link) BibTeX
- Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann:
Modular proof systems for partial functions with Evans equality.
1453-1492
Electronic Edition (link) BibTeX
- Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani:
Efficient theory combination via boolean search.
1493-1525
Electronic Edition (link) BibTeX
- Ting Zhang, Henny B. Sipma, Zohar Manna:
Decision procedures for term algebras with integer constraints.
1526-1574
Electronic Edition (link) BibTeX
- Jia Meng, Claire Quigley, Lawrence C. Paulson:
Automation for interactive proof: First prototype.
1575-1596
Electronic Edition (link) BibTeX
Volume 204,
Number 11,
November 2006
Volume 204,
Number 12,
December 2006
Corrigendum
Erratum
Copyright © Sun May 17 00:00:04 2009
by Michael Ley (ley@uni-trier.de)
