Conferences in DBLP
Jean-Louis Lassez , Michael J. Maher , Kim Marriott Elimination of Negation in Term Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Lescanne Rewrite Orderings and Termination of Rewrite Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna , Amir Pnueli On the Faithfulness of Formal Models. [Citation Graph (0, 0)][DBLP ] Conf ] Mogens Nielsen Models for Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Salwicki On a Hierarchy of File Types and a Tower of Their Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Alessi , Franco Barbanera Strong Conjunction and Intersection Types. [Citation Graph (0, 0)][DBLP ] Conf ] Egidio Astesiano , Maura Cerioli Partial Higher-Order Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Staffan Bonnier Unification in Incompletely Specified Theories: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Boudol , Ilaria Castellani , Matthew Hennessy , Astrid Kiehn Observing Localities (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Gerardo Costa , Gianna Reggio Abstract Dynamic Data Types: A Temporal Logic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Anton Cerný Generating Words by Cellular Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Pierpaolo Degano , Roberto Gorrieri Atomic Refinement in Process Description Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Diekert , Paul Gastin , Antoine Petit Recognizable Complex Trace Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Domenjoud Solving Systems of Linear Diophantine Equations: An Algebraic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Dowek A Second-Order Pattern Matching Algorithm for the Cube of Typed Lambda-Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Lavinia Egidi , Furio Honsell , Simona Ronchi Della Rocca The lazy call-by-value Lamda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Gorrieri , Cosimo Laneve The Limit of Split_n-Bisimulations for CCS Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Georges Hansel , Daniel Krob , Christian Michaux Stochastic Automata and Length Distributions of Rational Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Barney P. Hilken , David E. Rydeheard Towards a Categorical Semantics Type Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney R. Howell , Petr Jancar , Louis E. Rosier Single-Path Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Juraj Hromkovic , Burkhard Monien The Bisection Problem for Graphs of Degree 4 (Configuring Transputer Systems). [Citation Graph (0, 0)][DBLP ] Conf ] Oscar H. Ibarra , Tao Jiang , Hui Wang Some Results Concerning 2-D On-line Tessellation Acceptors and 2-D Alternating Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Inverardi , Monica Nesi Infinite Normal Forms for Non-Linear Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Petteri Jokinen , Esko Ukkonen Two Algorithms for Approximate String Matching in Static Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Juhani Karhumäki , Wojciech Rytter , Stefan Jarominek Efficient Constructions of Test Sets for Regular and Context-Free Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitris Kavadias , Lefteris M. Kirousis , Paul G. Spirakis The Complexity of The Reliable Connectivity Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Delia Kesner Pattern Matching in Order-Sorted Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Beata Konikowska Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuel Kounalis , Denis Lugiez , Loic Pottier A Solution of the Complement Problem in Associative-Commutative Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Padmanabhan Krishnan A Model for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nguyen Huong Lam , Do Long Van On Strict Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Leiß , Fritz Henglein A Decidable Case of the Semi-Unification Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Claudia Leopold Maintaining Dictionaries in a Hierarchical Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Meinel , Stephan Waack Upper and Lower Bounds for Certain Graph-Accessibility Problems on Bounded Alternating Omega-Branching Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Montanari , Vladimiro Sassone CCS Dynamic Bisimulation is Progressing. [Citation Graph (0, 0)][DBLP ] Conf ] M. A. Nait Abdallah Syntax and Semantics of a Monotonic Framework for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Damian Niwinski On the Cardinality of Sets of Infinite Trees Recognizable by Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Paech Extending Temporal Logic by Explicit Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Ramón Pino Pérez An Extensional Partial Combinatory Algebra Based on Lamda-Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Axel Poigné Once More on Order-Sorted Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Roos , Pierre-André Wacrenier Composition of Two Semi Commutations. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Ruzicka An Efficient Decision Algorithm for the Uniform Semi-Unification Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Konstantin V. Shvachko Different Modifications of Pointer Machines and Their Computational Power. [Citation Graph (0, 0)][DBLP ] Conf ] 