Conferences in DBLP
Hartmut Ehrig Algebraic Theory of Parameterized Specifications with Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Milner A Modal Characterisation of Observable Machine-Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Jürg Nievergelt Trees as Data and File Structures. [Citation Graph (1, 0)][DBLP ] Conf ] Maurice Nivat Infinitary Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Ausiello , Alberto Marchetti-Spaccamela , Marco Protasi Full Approximatibility of a Class of Problems over Power Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Avenhaus , Klaus Madlener How to Compute Generators for the Intersection of Subgroups in Free Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Bergman , Pierre Deransart Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] J. Bilstein , Werner Damm Top-Down Tree-Transducers for Infinite Trees I. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen L. Bloom , David B. Patterson Easy Solutions are Hard To Find. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Boudol Une Semantique Pour Les Arbres Non Deterministes. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy , Martin Wirsing On the Algebraic Specification of Nondeterministic Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz , Shmuel Zaks Applied Tree Enumerations. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Pierre Franchi-Zannettacci Evaluation d'Arbre Pour un Calcul Formel (Application a l'Enumeration de Proteines). [Citation Graph (0, 0)][DBLP ] Conf ] Irène Guessarian On Pushdown Tree Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Günter Hornung , Peter Raulefs Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Jacob Calcul du Rang des sum-Arbres Infinis Reguliers. [Citation Graph (0, 0)][DBLP ] Conf ] Marek J. Lao A Class of Tree-Like UNION-FIND Data Structures and the Nonlinearity. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Leguy Grammars Without Erasing Rules - The OI Case. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Lilin Proprietes de Cloture d'une Extension de Transducteurs d'Arbres Deterministes. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Lingas Certain Algorithms for Subgraph Isomorphism Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Giancarlo Mauri , Nicoletta Sabadini A # P-Complete Problem over Arithmetical Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Pierangelo Miglioli , Ugo Moscato , Mario Ornaghi Trees in Kripke Models and in an Intuitionistic Refutation System. [Citation Graph (0, 0)][DBLP ] Conf ] Yehoshua Perl , Yossi Shiloach Efficient Optimization of Monotonic Functions on Trees. [Citation Graph (0, 0)][DBLP ] Conf ] N. Polian Differents Types de Derivations Infinites Dans les Grammaires Algebriques d'Arbres. [Citation Graph (0, 0)][DBLP ] Conf ] Simona Ronchi Della Rocca Discriminability of Infinite Sets of Terms in the Dinfinity -Models of the lambda-calculus. [Citation Graph (0, 0)][DBLP ] Conf ] 