Search results for "confluence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Adel Bouhoula	Simultaneous checking of completeness and ground confluence for algebraic specifications.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	ground confluence, completeness, algebraic specifications, parameterization, term rewriting systems, Automated deduction
3	Jean-Pierre Jouannaud, Vincent van Oostrom	Diagrammatic Confluence and Completion.	ICALP	2009	DBLP DOI BibTeX RDF	decreasing diagrams, completion, rewriting, confluence
3	Kentaro Kikuchi	Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus.	CiE	2007	DBLP DOI BibTeX RDF	?-calculus, Sequent calculus, Cut-elimination, Confluence, Explicit substitution
3	Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard	The Confluence Problem for Flat TRSs.	AISC	2006	DBLP DOI BibTeX RDF	Flat, Term rewriting system, Confluence, Decision problem
3	Guillem Godoy, Ashish Tiwari, Rakesh M. Verma	Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems.	Appl. Algebra Eng. Commun. Comput.	2004	DBLP DOI BibTeX RDF	Rewriting, Confluence, Terms
3	Guillem Godoy, Robert Nieuwenhuis, Ashish Tiwari	Classes of term rewrite systems with polynomial confluence problems.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Rewriting, confluence
3	Stefan Blom, Jaco van de Pol	State Space Reduction by Proving Confluence.	CAV	2002	DBLP DOI BibTeX RDF	on-the-fly state space reduction, symbolic transformation, &#55CRL tool set, theorem proving, Labeled transition systems, partial order reduction, confluence, branching bisimulation
2	Jon Oldevik, Øystein Haugen, Birger Møller-Pedersen	Confluence in Domain-Independent Product Line Transformations.	FASE	2009	DBLP DOI BibTeX RDF
2	Takahito Aoto, Junichi Yoshida, Yoshihito Toyama	Proving Confluence of Term Rewriting Systems Automatically.	RTA	2009	DBLP DOI BibTeX RDF
2	Frédéric Lang, Radu Mateescu	Partial Order Reductions Using Compositional Confluence Detection.	FM	2009	DBLP DOI BibTeX RDF
2	Paolo Tranquilli	Confluence of Pure Differential Nets with Promotion.	CSL	2009	DBLP DOI BibTeX RDF
2	Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas	Embedding and Confluence of Graph Transformations with Negative Application Conditions.	ICGT	2008	DBLP DOI BibTeX RDF
2	Vincent van Oostrom	Modularity of Confluence.	IJCAR	2008	DBLP DOI BibTeX RDF
2	Sébastien Konieczny, Ramón Pino Pérez	Confluence Operators.	JELIA	2008	DBLP DOI BibTeX RDF
2	Vincent van Oostrom	Confluence by Decreasing Diagrams.	RTA	2008	DBLP DOI BibTeX RDF
2	Pablo Arrighi, Gilles Dowek	Linear-algebraic lambda-calculus: higher-order, encodings, and confluence..	RTA	2008	DBLP DOI BibTeX RDF
2	René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp	Adding constants to string rewriting.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	Termination, Term rewriting, Confluence, String rewriting
2	Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann	Observable Confluence for Constraint Handling Rules.	ICLP	2007	DBLP DOI BibTeX RDF
2	Rémy Haemmerlé, François Fages	Abstract Critical Pairs and Confluence of Arbitrary Binary Relations.	RTA	2007	DBLP DOI BibTeX RDF
2	Horatiu Cirstea, Germain Faure	Confluence of Pattern-Based Calculi.	RTA	2007	DBLP DOI BibTeX RDF
2	Karl Gyllstrom, Craig A. N. Soules, Alistair C. Veitch	Confluence: enhancing contextual desktop search.	SIGIR	2007	DBLP DOI BibTeX RDF	human factors, experimentation
2	Ioana Leahu, Ferucio Laurentiu Tiplea	The Confluence Property for Petri Nets and its Applications.	SYNASC	2006	DBLP DOI BibTeX RDF
2	Alois Ferscha, Stefan Resmerita, Clemens Holzmann	Human Computer Confluence.	Universal Access in Ambient Intelligence Environments	2006	DBLP DOI BibTeX RDF
2	Frédéric Blanqui, Claude Kirchner, Colin Riba	On the Confluence of lambda-Calculus with Conditional Rewriting.	FoSSaCS	2006	DBLP DOI BibTeX RDF
2	Jeroen Ketema, Jakob Grue Simonsen	On Confluence of Infinitary Combinatory Reduction Systems.	LPAR	2005	DBLP DOI BibTeX RDF
2	Zena M. Ariola, Stefan Blom	Skew and omega-Skew Confluence and Abstract Böhm Semantics.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
2	Detlef Plump	Confluence of Graph Transformation Revisited.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
2	Guillem Godoy, Ashish Tiwari	Confluence of Shallow Right-Linear Rewrite Systems.	CSL	2005	DBLP DOI BibTeX RDF
2	Lukasz Kaiser	Confluence of Right Ground Term Rewriting Systems Is Decidable.	FoSSaCS	2005	DBLP DOI BibTeX RDF
2	Maribel Fernández, Murdoch Gabbay	Nominal rewriting with name generation: abstraction vs. locality.	PPDP	2005	DBLP DOI BibTeX RDF	?-conversion, first and higher-order rewriting, name generation, locality, confluence, binders
2	Rakesh M. Verma, Ara Hayrapetyan	A new decidability technique for ground term rewriting systems with applications.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	standard forms, unique normalization, decision procedures, rewriting, Confluence, pumping lemma
2	Jakob Grue Simonsen	On the Modularity of Confluence in Infinitary Term Rewriting.	RTA	2004	DBLP DOI BibTeX RDF
2	Sara Comai, Letizia Tanca	Termination and Confluence by Rule Prioritization.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	database dynamics, deductive databases, termination, determinism, Active databases
2	Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch	Deciding the confluence of ordered term rewrite systems.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	ordered rewriting, path orderings, Rewrite systems, confluence
2	Guillem Godoy, Ashish Tiwari, Rakesh M. Verma	On the Confluence of Linear Shallow Term Rewrite Systems.	STACS	2003	DBLP DOI BibTeX RDF
2	José Espírito Santo, Luis Pinto	Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus.	TYPES	2003	DBLP DOI BibTeX RDF
2	Gilles Dowek	Confluence as a Cut Elimination Property.	RTA	2003	DBLP DOI BibTeX RDF
2	Gordon J. Pace, Frédéric Lang, Radu Mateescu	Calculating-Confluence Compositionally.	CAV	2003	DBLP DOI BibTeX RDF
2	Bernhard Möller, Georg Struth	Greedy-Like Algorithms in Modal Kleene Algebra.	RelMiCS	2003	DBLP DOI BibTeX RDF	Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra
2	Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer	Confluence of Typed Attributed Graph Transformation Systems.	ICGT	2002	DBLP DOI BibTeX RDF
2	Michael Marte	A Modular Approach to Proving Confluence.	FroCos	2002	DBLP DOI BibTeX RDF
2	Ashish Tiwari	Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time.	LICS	2002	DBLP DOI BibTeX RDF
2	Max I. Kanovich	Bijections between Partitions by Two-Directional Rewriting Techniques.	CSL	2002	DBLP DOI BibTeX RDF	multiset rewriting, partition identities, termination, combinatorics, confluence, strong normalization, Church-Rosser property, integer partitions
2	Silvia Ghilezan, Viktor Kuncak	Confluence of Untyped Lambda Calculus via Simple Types.	ICTCS	2001	DBLP DOI BibTeX RDF
2	René Vestergaard, James Brotherston	A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names.	RTA	2001	DBLP DOI BibTeX RDF
2	Toshiyuki Yamada	Confluence and Termination of Simply Typed Term Rewriting Systems.	RTA	2001	DBLP DOI BibTeX RDF
2	Hongjing Wu, Erik de Kort, Paul De Bra	Design issues for general-purpose adaptive hypermedia systems.	Hypertext	2001	DBLP DOI BibTeX RDF	adaptation rules, user modeling, termination, adaptive hypermedia, active databases, confluence
2	Adel Bouhoula	Simultaneous Checking of Completeness and Ground Confluence. (PDF / PS)	ASE	2000	DBLP DOI BibTeX RDF
2	Markus Lohrey	Word Problems and Confluence Problems for Restricted Semi-Thue Systems.	RTA	2000	DBLP DOI BibTeX RDF
2	Frédéric Blanqui	Termination and Confluence of Higher-Order Rewrite Systems.	RTA	2000	DBLP DOI BibTeX RDF
2	Felix Joachimski, Ralph Matthes	Standardization and Confluence for a Lambda Calculus with Generalized Applications.	RTA	2000	DBLP DOI BibTeX RDF
2	Markus Lohrey	Complexity Results for Confluence Problems.	MFCS	1999	DBLP DOI BibTeX RDF
2	Naoki Kobayashi, Benjamin C. Pierce, David N. Turner	Linearity and the pi-calculus.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	linear types, concurrency, pi-calculus, process calculi, confluence
2	Alexandre Boudet, Evelyne Contejean	About the Confluence of Equational Pattern Rewrite Systems.	CADE	1998	DBLP BibTeX RDF
2	Anna Philippou, David Walker	On Confluence in the pi-Calculus.	ICALP	1997	DBLP DOI BibTeX RDF
2	Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy	Confluence Properties of Weak and Strong Calculi of Explicit Substitutions.	J. ACM	1996	DBLP DOI BibTeX RDF	confluency, explicit substitutions
2	Bernhard Gramlich	Confluence without Termination via Parallel Critical Pairs.	CAAP	1996	DBLP DOI BibTeX RDF
2	Delia Kesner	Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract).	RTA	1996	DBLP DOI BibTeX RDF
2	Bernhard Gramlich, Claus-Peter Wirth	Confluence of Terminating Conditional Rewrite Systems Revisited.	RTA	1996	DBLP DOI BibTeX RDF
2	Anna Philippou, David Walker	Social Confluence in Client-Server Systems.	CSL	1996	DBLP DOI BibTeX RDF
2	Salvador Lucas	Context-Sensitive Computations in Confluent Programs.	PLILP	1996	DBLP DOI BibTeX RDF	functional programming, term rewriting systems, confluence
2	Jan Friso Groote, M. P. A. Sellink	Confluence for Process Verification.	CONCUR	1995	DBLP DOI BibTeX RDF
2	Xinxin Liu, David Walker	Confluence of Processes and Systems of Objects.	TAPSOFT	1995	DBLP DOI BibTeX RDF
2	Géraud Sénizergues	A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems.	RTA	1995	DBLP DOI BibTeX RDF	two tape finite automata, confluence, semi-Thue systems
2	Taro Suzuki, Aart Middeldorp, Tetsuo Ida	Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides.	RTA	1995	DBLP DOI BibTeX RDF
2	Bernhard Gramlich	On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems.	ALP	1994	DBLP DOI BibTeX RDF
2	Enno Ohlebusch	On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems.	CAAP	1994	DBLP DOI BibTeX RDF
2	Franco Barbanera, Maribel Fernández	Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega.	ICALP	1993	DBLP DOI BibTeX RDF
2	Klaus Becker	Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications.	TAPSOFT	1993	DBLP DOI BibTeX RDF
2	Femke van Raamsdonk	Confluence and Superdevelopments.	RTA	1993	DBLP DOI BibTeX RDF
2	Daniel J. Buehrer, Chin-Chen Chang	Application of a Reciprocal Confluence Tree Unit to Similar-Picture Retrieval.	SSD	1993	DBLP DOI BibTeX RDF
2	Pierre-Louis Curien, Giorgio Ghelli	On Confluence for Weakly Normalizing Systems.	RTA	1991	DBLP DOI BibTeX RDF
2	Kai Salomaa	Decidability of Confluence and Termination of Monadic Term Rewriting Systems.	RTA	1991	DBLP DOI BibTeX RDF
2	Ursula Martin, Tobias Nipkow	Ordered Rewriting and Confluence.	CADE	1990	DBLP DOI BibTeX RDF
2	Chilukuri K. Mohan	Priority Rewriting: Semantics, Confluence, and Conditional.	RTA	1989	DBLP DOI BibTeX RDF
2	Harald Ganzinger	Ground Term Confluence in Parametric Conditional Equational Specifications.	STACS	1987	DBLP DOI BibTeX RDF
2	Friedrich Otto	Some Results about Confluence on a Given Congruence Class.	RTA	1987	DBLP DOI BibTeX RDF
1	Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas	Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
1	Takahito Aoto, Yoshihito Toyama	A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems	Logical Methods in Computer Science	2012	DBLP DOI BibTeX RDF
1	Dominik Klein, Nao Hirokawa	Confluence of Non-Left-Linear TRSs via Relative Termination.	LPAR	2012	DBLP DOI BibTeX RDF
1	Enrico Biermann	Local Confluence Analysis of Consistent EMF Transformations.	ECEASST	2011	DBLP BibTeX RDF
1	Matthias Baaz, Stefan Hetzl	On the non-confluence of cut-elimination.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage	Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Ugo Dal Lago, Andrea Masini, Margherita Zorzi	Confluence Results for a Quantum Lambda Calculus with Measurements.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	J. S. A. Bhat, Sushil, P. K. Jain	Strategic Management of Innovation Focusing on Confluence of Continuity and Change.	IJGC	2011	DBLP DOI BibTeX RDF
1	Frédéric Blanqui, Claude Kirchner, Colin Riba	On the confluence of lambda-calculus with conditional rewriting	CoRR	2011	DBLP BibTeX RDF
1	Gregory Grefenstette, Laura Wilber	Search-Based Applications: At the Confluence of Search and Database Technologies		2011	DOI RDF
1	Daniyar S. Shamkanov	Strong Normalization and Confluence for Reflexive Combinatory Logic.	WoLLIC	2011	DBLP DOI BibTeX RDF
1	Harald Zankl, Bertram Felgenhauer, Aart Middeldorp	CSI - A Confluence Tool.	CADE	2011	DBLP DOI BibTeX RDF
1	Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol	Confluence Reduction for Probabilistic Systems.	TACAS	2011	DBLP DOI BibTeX RDF
1	Jung Hoon Baeg, Kathleen Burnett, Laurie J. Bonnici, Mega M. Subramaniam	Navigating the confluence of streams in the development of disciplinary identity, 2004--2009.	iConference	2011	DBLP DOI BibTeX RDF
1	Basuki Widodo	Sedimentation characteristics study on the confluence of two rivers using Meshless Local Petrov-Galerkin Method.	ICCSCE	2011	DBLP DOI BibTeX RDF
1	Panayiotis Neophytou, Panos K. Chrysanthis, Alexandros Labrinidis	CONFLuEnCE: CONtinuous workFLow ExeCution Engine.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
1	Aaron Stump, Garrin Kimmell, Roba El Haj Omar	Type Preservation as a Confluence Problem.	RTA	2011	DBLP DOI BibTeX RDF
1	Takahito Aoto, Yoshihito Toyama	A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems.	RTA	2011	DBLP DOI BibTeX RDF
1	Benoit Gaillard, Bruno Gaume, Emmanuel Navarro	Invariants and Variability of Synonymy Networks: Self Mediated Agreement by Confluence.	Graph-based Methods for Natural Language Processing	2011	DBLP BibTeX RDF
1	Seungil Huh, Mei Chen	Detection of mitosis within a stem cell population of high cell confluence in phase-contrast microscopy images.	CVPR	2011	DBLP DOI BibTeX RDF
1	Panayiotis Neophytou, Panos K. Chrysanthis, Alexandros Labrinidis	CONFLuEnCE: Implementation and application design.	CollaborateCom	2011	DBLP BibTeX RDF
1	José Luis Freire-Nistal, Antonio Blanco Ferro, J. M. Molinelli Barba, Enrique Freire Brañas	On the Confluence of the Graphic Calculus with Penrose Diagrams (I).	EUROCAST	2011	DBLP DOI BibTeX RDF
1	Paul F. M. J. Verschure	The complexity of reality and human computer confluence: stemming the data deluge by empowering human creativity.	CHItaly	2011	DBLP DOI BibTeX RDF