Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
109 | Adel Bouhoula |
Simultaneous checking of completeness and ground confluence for algebraic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(3), pp. 20:1-20:33, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ground confluence, completeness, algebraic specifications, parameterization, term rewriting systems, Automated deduction |
99 | Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann |
Observable Confluence for Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 224-239, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
89 | Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma |
Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 15(1), pp. 13-36, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Rewriting, Confluence, Terms |
79 | Stefan Blom, Jaco van de Pol |
State Space Reduction by Proving Confluence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 596-609, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
on-the-fly state space reduction, symbolic transformation, 7CRL tool set, theorem proving, Labeled transition systems, partial order reduction, confluence, branching bisimulation |
78 | Silvia Ghilezan, Viktor Kuncak |
Confluence of Untyped Lambda Calculus via Simple Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings, pp. 38-49, 2001, Springer, 3-540-42672-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
72 | Yoshihito Toyama |
Confluent Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, pp. 1, 2005, Springer, 3-540-25596-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
68 | Takahito Aoto 0001, Junichi Yoshida, Yoshihito Toyama |
Proving Confluence of Term Rewriting Systems Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings, pp. 93-102, 2009, Springer, 978-3-642-02347-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
68 | Femke van Raamsdonk |
Confluence and Superdevelopments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings, pp. 168-182, 1993, Springer, 3-540-56868-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
58 | Kentaro Kikuchi |
Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 398-407, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
?-calculus, Sequent calculus, Cut-elimination, Confluence, Explicit substitution |
58 | Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard |
The Confluence Problem for Flat TRSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 68-81, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Flat, Term rewriting system, Confluence, Decision problem |
58 | Guillem Godoy, Robert Nieuwenhuis, Ashish Tiwari 0001 |
Classes of term rewrite systems with polynomial confluence problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(2), pp. 321-331, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Rewriting, confluence |
58 | Karl Gyllstrom, Craig A. N. Soules, Alistair C. Veitch |
Confluence: enhancing contextual desktop search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2007: Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Amsterdam, The Netherlands, July 23-27, 2007, pp. 717-718, 2007, ACM, 978-1-59593-597-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
human factors, experimentation |
58 | Frédéric Blanqui, Claude Kirchner, Colin Riba |
On the Confluence of lambda-Calculus with Conditional Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings, pp. 382-397, 2006, Springer, 3-540-33045-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer |
Confluence of Typed Attributed Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 161-176, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
58 | Adel Bouhoula |
Simultaneous Checking of Completeness and Ground Confluence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000, pp. 143-, 2000, IEEE Computer Society, 0-7695-0710-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
58 | Markus Lohrey |
Complexity Results for Confluence Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pp. 114-124, 1999, Springer, 3-540-66408-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
52 | Rakesh M. Verma, Ara Hayrapetyan |
A new decidability technique for ground term rewriting systems with applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(1), pp. 102-123, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
standard forms, unique normalization, decision procedures, rewriting, Confluence, pumping lemma |
51 | Paula Severi, Fer-Jan de Vries |
An Extensional Böhm Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 159-173, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Yahia Rabih, Michel Schneider |
Analysis of Active Database Rules Behavior Using Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 10th International Conference, DEXA '99, Florence, Italy, August 30 - September 3, 1999, Proceedings, pp. 436-449, 1999, Springer, 3-540-66448-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
50 | M. R. K. Krishna Rao |
Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 33(6), pp. 595-606, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Jean-Pierre Jouannaud, Vincent van Oostrom |
Diagrammatic Confluence and Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, pp. 212-222, 2009, Springer, 978-3-642-02929-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
decreasing diagrams, completion, rewriting, confluence |
48 | Nebojsa Jojic, Thomas S. Huang |
Computer Vision and Graphics Techniques for Modeling Dressed Humans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 179-200, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Andrew Wojdala |
Can Virtual Look Real? A Review of Virtual Studio Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 229-252, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Gordon J. Clapworthy, Igor R. Belousov, Alexander Savenko, Wei Sun, JiaCheng Tan, Serge L. Van Sint Jan |
Medical Visualisation, Biomechanics, Figure Animation and Robot Teleoperation: Themes and Links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 215-228, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Gudrun Klinker |
Augmented Reality: A Problem in Need of Many Computer Vision-Based Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 267-284, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Gilles Simon, Vincent Lepetit, Marie-Odile Berger |
Registration Methods for Harmonious Integration of Real World and Computer Generated Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 285-306, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Kostas Daniilidis, Jane Mulligan, Raymond McKendall, David Schmid, Gerda Kamberova, Ruzena Bajcsy |
Real-Time 3D-Teleimmersion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 253-265, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Danijel Skocaj, Ales Leonardis |
Acquiring Range Images of Objects with Non-Uniform Reflectance Using High Dynamic Scale Radiance Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 105-122, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Radim Sára |
Accurate Natural Surface Reconstruction from Polynocular Stereo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 69-86, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Andrew Zisserman, Andrew W. Fitzgibbon, Caroline Baillard, Geoffrey Cross |
From Images to Virtual and Augmented Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 1-23, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | André Gagalowicz, Philippe Gérard |
3D Object Tracking Using Analysis/Synthesis Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 307-329, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Geoffrey Cross, Andrew Zisserman |
Surface Reconstruction from Multiple Views Using Apparent Contours and Surface Texture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 25-47, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Russell A. Manning, Charles R. Dyer |
Dynamic View Interpolation Without Affine Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 123-142, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Franz W. Leberl, Konrad F. Karner, Markus Maresch |
Urban Site Models: Accurate, Detailed, Rapid and Inexpensive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 201-214, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Gerhard Roth |
Building Models from Sensor Data: An Application Shared by the Computer Vision and the Computer Graphics Community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 87-103, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Hai Tao, Thomas S. Huang |
Facial Motion Capturing Using an Explanation-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 143-160, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Martin Urban, Tomás Pajdla, Václav Hlavác |
Consistent Projective Reconstruction from Multiple Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 49-67, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Vittorio Murino, Andrea Fusiello |
Augmented Reality by Integrating Multiple Sensory Modalities for Underwater Scene Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 331-349, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Luc Van Gool, Filip Defoort, Johannes Hug, Gregor Arthur Kalberer, Reinhard Koch, Danny Martens, Marc Pollefeys, Marc Proesmans, Maarten Vergauwen, Alexey Zalesny |
Image-Based 3D Modeling: Modeling from Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Confluence of Computer Vision and Computer Graphics ![In: Confluence of Computer Vision and Computer Graphics, pp. 161-178, 2000, Kluwer / Springer, 978-0-7923-6612-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Vincent van Oostrom |
Modularity of Confluence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 348-363, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Horatiu Cirstea, Germain Faure |
Confluence of Pattern-Based Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 78-92, 2007, Springer, 978-3-540-73447-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Zena M. Ariola, Stefan Blom |
Skew and omega-Skew Confluence and Abstract Böhm Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 368-403, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Lukasz Kaiser |
Confluence of Right Ground Term Rewriting Systems Is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 470-489, 2005, Springer, 3-540-25388-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Gordon J. Pace, Frédéric Lang, Radu Mateescu 0001 |
Calculating-Confluence Compositionally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, pp. 446-459, 2003, Springer, 3-540-40524-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma |
On the Confluence of Linear Shallow Term Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings, pp. 85-96, 2003, Springer, 3-540-00623-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Ashish Tiwari 0001 |
Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings, pp. 447-, 2002, IEEE Computer Society, 0-7695-1483-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Michael Marte |
A Modular Approach to Proving Confluence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings, pp. 33-48, 2002, Springer, 3-540-43381-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Delia Kesner |
Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings, pp. 184-199, 1996, Springer, 3-540-61464-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | Enno Ohlebusch |
On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'94, 19th International Colloquium, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 261-275, 1994, Springer, 3-540-57879-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
47 | Klaus Becker 0002 |
Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 46-60, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
47 | Kai Salomaa |
Decidability of Confluence and Termination of Monadic Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 275-286, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
41 | Jochen Malte Küster |
Definition and validation of model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 5(3), pp. 233-259, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Roberto Di Cosmo, Delia Kesner |
Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings, pp. 462-472, 1994, Springer, 3-540-58201-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
38 | Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch |
Deciding the confluence of ordered term rewrite systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 4(1), pp. 33-55, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ordered rewriting, path orderings, Rewrite systems, confluence |
38 | Géraud Sénizergues |
A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings, pp. 194-209, 1995, Springer, 3-540-59200-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
two tape finite automata, confluence, semi-Thue systems |
37 | Frédéric Lang, Radu Mateescu 0001 |
Partial Order Reductions Using Compositional Confluence Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 157-172, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Paolo Tranquilli |
Confluence of Pure Differential Nets with Promotion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 500-514, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Jon Oldevik, Øystein Haugen, Birger Møller-Pedersen |
Confluence in Domain-Independent Product Line Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 34-48, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Vincent van Oostrom |
Confluence by Decreasing Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 306-320, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas |
Embedding and Confluence of Graph Transformations with Negative Application Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 162-177, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Rémy Haemmerlé, François Fages |
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 214-228, 2007, Springer, 978-3-540-73447-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Detlef Plump |
Confluence of Graph Transformation Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 280-308, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Jakob Grue Simonsen |
On the Modularity of Confluence in Infinitary Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings, pp. 185-199, 2004, Springer, 3-540-22153-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Gilles Dowek |
Confluence as a Cut Elimination Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, pp. 2-13, 2003, Springer, 3-540-40254-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Toshiyuki Yamada |
Confluence and Termination of Simply Typed Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, pp. 338-352, 2001, Springer, 3-540-42117-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Markus Lohrey |
Word Problems and Confluence Problems for Restricted Semi-Thue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings, pp. 172-186, 2000, Springer, 3-540-67778-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
37 | Anna Philippou, David Walker 0008 |
On Confluence in the pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings, pp. 314-324, 1997, Springer, 3-540-63165-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Xinxin Liu 0008, David Walker 0008 |
Confluence of Processes and Systems of Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 217-231, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
37 | Taro Suzuki, Aart Middeldorp, Tetsuo Ida |
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings, pp. 179-193, 1995, Springer, 3-540-59200-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
37 | Bernhard Gramlich |
On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings, pp. 186-203, 1994, Springer, 3-540-58431-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
37 | Pierre-Louis Curien, Giorgio Ghelli |
On Confluence for Weakly Normalizing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 215-225, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
37 | Ursula Martin, Tobias Nipkow |
Ordered Rewriting and Confluence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 366-380, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
34 | Raúl Gutiérrez, Salvador Lucas, Miguel Vítores |
Proving Confluence in the Confluence Framework with CONFident. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.16330, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Raúl Gutiérrez, Miguel Vítores, Salvador Lucas |
Confluence Framework: Proving Confluence with CONFident. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings, pp. 24-43, 2022, Springer, 978-3-031-16766-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Pat Helland |
Don't Get Stuck in the "Con" Game: Consistency, convergence, and confluence are not the same! Eventual consistency and eventual convergence aren't the same as confluence, either. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 19(3), pp. 16-35, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Gaspard Férey |
Higher-Order Confluence and Universe Embedding in the Logical Framework. (Confluence d'ordre supérieur et encodage d'univers dans le Logical Framework). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
34 | Jiaxiang Liu 0001 |
Confluence properties of rewrite rules by decreasing diagrams. (Propriétés de confluence des règles de réécriture par des diagrammes décroissants). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
34 | Mehdi Dogguy |
Déterminisme et Confluence dans des systèmes concurrents et synchrones. (Determinacy and confluence in concurrent and synchronous process calculi). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
34 | Colin Riba |
Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage. (Definitions by rewriting in the lambda-calculus : confluence, reducibility and typing). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
34 | Ludovic Henrio |
Calcul d'objet asynchrone : confluence et déterminisme. (Asynchronous Object Calculus: Confluence and Determinacy). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
34 | Friedrich Otto |
On Confluence Versus Strong Confluence for One-Rule Trace-Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 28(4), pp. 363-384, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Kai Salomaa |
Confluence, ground confluence, and termination of monadic term rewriting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 28(5), pp. 279-309, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Wadoud Bousdira |
Etude des propriétés des systèmes de réécriture conditionnelle : mise en oeuvre de deux algorithmes de test de confluence sur les termes clos. (Study of conditional term rewriting system properties. Making use of two algorithms for testing confluence on ground terms). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1990 |
RDF |
|
31 | René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp |
Adding constants to string rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 19(1), pp. 27-38, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Termination, Term rewriting, Confluence, String rewriting |
31 | Maribel Fernández, Murdoch Gabbay |
Nominal rewriting with name generation: abstraction vs. locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 47-58, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
?-conversion, first and higher-order rewriting, name generation, locality, confluence, binders |
31 | Bernhard Möller, Georg Struth |
Greedy-Like Algorithms in Modal Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers, pp. 202-215, 2003, Springer, 3-540-22145-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra |
31 | Max I. Kanovich |
Bijections between Partitions by Two-Directional Rewriting Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 44-58, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiset rewriting, partition identities, termination, combinatorics, confluence, strong normalization, Church-Rosser property, integer partitions |
31 | Hongjing Wu, Erik de Kort, Paul De Bra |
Design issues for general-purpose adaptive hypermedia systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2001, Proceedings of the 12th ACM Conference on Hypertext and Hypermedia, August 14-18, 2001, University of Aarhus, Århus, Denmark, pp. 141-150, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
adaptation rules, user modeling, termination, adaptive hypermedia, active databases, confluence |
31 | Naoki Kobayashi 0001, Benjamin C. Pierce, David N. Turner |
Linearity and the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(5), pp. 914-947, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
linear types, concurrency, pi-calculus, process calculi, confluence |
31 | Salvador Lucas |
Context-Sensitive Computations in Confluent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, pp. 408-422, 1996, Springer, 3-540-61756-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
functional programming, term rewriting systems, confluence |
31 | Tachio Terauchi, Alex Aiken |
A capability calculus for concurrency and determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(5), pp. 27:1-27:30, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type systems, Determinism, capabilities |
31 | Anna Philippou, George Michael |
Verification Techniques for Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings, pp. 172-186, 2006, Springer, 3-540-49990-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Denis Caromel, Ludovic Henrio, Bernard P. Serpette |
Asynchronous and deterministic objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 123-134, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
object calculus, parallelism, concurrency, distribution, object-oriented languages, determinism, futures |
31 | Elena Machkasova, Franklyn A. Turbak |
A Calculus for Link-Time Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 260-274, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez |
Algorithms and Reductions for Rewriting Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings, pp. 166-180, 1998, Springer, 3-540-64301-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Roberto Di Cosmo, Delia Kesner |
A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings, pp. 645-656, 1993, Springer, 3-540-56939-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Daniel J. Dougherty |
Some Lambda Calculi with Categorial Sums and Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings, pp. 137-151, 1993, Springer, 3-540-56868-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Volker Diekert, Edward Ochmanski, Klaus Reinhardt |
On Confluent Semi-Commutations - Decidability and Complexity Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings, pp. 229-241, 1991, Springer, 3-540-54233-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
31 | Robert Strandh |
Optimizing Equational Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings, pp. 13-24, 1987, Springer, 3-540-17220-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Sébastien Konieczny, Ramón Pino Pérez |
Confluence Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, pp. 272-284, 2008, Springer, 978-3-540-87802-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|