Journals in DBLP
Inf. Comput. 2002, volume: 179, number: 2
Glynn Winskel Guest Editorial. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:151- [Journal ] Dexter Kozen On the Complexity of Reasoning in Kleene Algebra. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:152-162 [Journal ] Josee Desharnais , Abbas Edalat , Prakash Panangaden Bisimulation for Labelled Markov Processes. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:163-193 [Journal ] Henrik Reif Andersen , Henrik Hulgaard Boolean Expression Diagrams. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:194-212 [Journal ] Witold Charatonik , Andreas Podelski Set Constraints with Intersection. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:213-229 [Journal ] P. S. Thiagarajan , Igor Walukiewicz An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:230-249 [Journal ] Martin Grohe Large Finite Structures with Few Lk-Types. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:250-278 [Journal ] Kousha Etessami , Moshe Y. Vardi , Thomas Wilke First-Order Logic with Two Variables and Unary Temporal Logic. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:279-295 [Journal ] Jon G. Riecke , Anders Sandholm A Relational Account of Call-by-Value Sequentiality. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:296-331 [Journal ] Martin Hofmann , Thomas Streicher Completeness of Continuation Models for lambda-mu-Calculus. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:332-355 [Journal ] Oliver Matz , Nicole Schweikardt , Wolfgang Thomas The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:356-383 [Journal ] Erratum ("Mobile Objects as Mobile Processes" by M. Merro et al, Volume 177, Number 2 [2002], pages 195-241). [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:179, n:2, pp:384- [Journal ]