Volume 204, Number 1, January 2006
export record as
dblp key:
export record as
dblp key:
Yoav Rodeh ,
Ofer Strichman :
Building small equality graphs for deciding equality logic with uninterpreted functions.
26-59
export record as
dblp key:
export record as
dblp key:
Volume 204, Number 2, February 2006
export record as
dblp key:
journals/iandc/GavaldaTT06 export record as
dblp key:
journals/iandc/BournezCNM06 export record as
dblp key:
Samy Abbes ,
Albert Benveniste :
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures.
231-274
export record as
dblp key:
journals/iandc/HartmanS06 export record as
dblp key:
journals/iandc/BuchbinderP06
Volume 204, Number 3, March 2006
export record as
dblp key:
export record as
dblp key:
journals/iandc/GiacobazziR06 export record as
dblp key:
journals/iandc/BrihayeBR06
Volume 204, Number 4, April 2006 Seventh Workshop on Coalgebraic Methods in Computer Science 2004
export record as
dblp key:
export record as
dblp key:
journals/iandc/CaprettaUV06 export record as
dblp key:
Corina Cîrstea :
A modular approach to defining and characterising notions of simulation.
469-502
export record as
dblp key:
journals/iandc/DanosDLP06 export record as
dblp key:
export record as
dblp key:
Bart Jacobs :
Distributive laws for the coinductive solution of recursive equations.
561-587
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yde Venema :
Automata and fixed point logic: A coalgebraic perspective.
637-678
Volume 204, Number 5, May 2006
export record as
dblp key:
journals/iandc/FlescaFG06 export record as
dblp key:
journals/iandc/DuchonHSZ06 export record as
dblp key:
journals/iandc/Rabinovich06 export record as
dblp key:
journals/iandc/DanielsenGP06 export record as
dblp key:
export record as
dblp key:
György Dósa ,
Yong He :
Bin packing problems with rejection penalties and their dual problems.
795-815
export record as
dblp key:
journals/iandc/AriasFKS06 export record as
dblp key:
Volume 204, Number 6, June 2006
export record as
dblp key:
journals/iandc/BlumensathC06 export record as
dblp key:
journals/iandc/GenestKM06 export record as
dblp key:
journals/iandc/Simonsen06 export record as
dblp key:
Volume 204, Number 7, July 2006
export record as
dblp key:
journals/iandc/BaldwinM06 export record as
dblp key:
journals/iandc/RabinovichS06 export record as
dblp key:
export record as
dblp key:
journals/iandc/BergstraM06 export record as
dblp key:
journals/iandc/AdamekM06a export record as
dblp key:
export record as
dblp key:
Jiqiang Lv :
On two DES implementations secure against differential power analysis in smart-cards.
1179-1193
Volume 204, Number 8, August 2006
export record as
dblp key:
export record as
dblp key:
journals/iandc/CarlucciJKS06 export record as
dblp key:
Volume 204, Number 9, September 2006
export record as
dblp key:
journals/iandc/SteffenG06 export record as
dblp key:
Martin Lange :
The alternation hierarchy in fixpoint logic with chop is strict too.
1346-1367
export record as
dblp key:
Volume 204, Number 10, October 2006 Combining Logical Systems
export record as
dblp key:
journals/iandc/ArmandoR06 export record as
dblp key:
journals/iandc/BaaderGT06 export record as
dblp key:
journals/iandc/GanzingerSW06 export record as
dblp key:
journals/iandc/BozzanoBCJRRS06 export record as
dblp key:
export record as
dblp key:
Volume 204, Number 11, November 2006
export record as
dblp key:
journals/iandc/DiekertG06 export record as
dblp key:
journals/iandc/BenthemEK06 export record as
dblp key:
journals/iandc/Kieronski06 Emanuel Kieronski :
On the complexity of the two-variable guarded fragment with transitive guards.
1663-1703
export record as
dblp key:
export record as
dblp key:
Volume 204, Number 12, December 2006
export record as
dblp key:
journals/iandc/SalomaaY06 export record as
dblp key:
journals/iandc/Doberkat06 export record as
dblp key:
Salvador Lucas :
Proving termination of context-sensitive rewriting by transformation.
1782-1846
Corrigendum
export record as
dblp key:
journals/iandc/Herrmann06 Christian Herrmann :
Corrigendum to "On the undecidability of implications between embedded multivalued database dependencies" [Inform. and Comput. 122(1995) 221-235].
1847-1851
Erratum
export record as
dblp key:
data released under the ODC-BY 1.0 license
