The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Confluence with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1964-1987 (22) 1988-1989 (15) 1990-1991 (28) 1992-1993 (26) 1994 (21) 1995 (21) 1996 (25) 1997 (44) 1998 (15) 1999 (22) 2000 (40) 2001-2002 (32) 2003 (31) 2004 (24) 2005 (29) 2006 (36) 2007 (37) 2008 (37) 2009 (47) 2010 (19) 2011 (20) 2012 (27) 2013 (17) 2014 (19) 2015 (24) 2016 (19) 2017 (29) 2018 (24) 2019 (36) 2020 (17) 2021 (21) 2022 (20) 2023 (21) 2024 (12)
Publication types (Num. hits)
article(259) book(3) incollection(19) inproceedings(581) phdthesis(13) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 283 occurrences of 204 keywords

Results
Found 877 publication records. Showing 877 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
109Adel Bouhoula Simultaneous checking of completeness and ground confluence for algebraic specifications. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ground confluence, completeness, algebraic specifications, parameterization, term rewriting systems, Automated deduction
99Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann Observable Confluence for Constraint Handling Rules. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
89Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Rewriting, Confluence, Terms
79Stefan Blom, Jaco van de Pol State Space Reduction by Proving Confluence. Search on Bibsonomy CAV The full citation details ... 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
78Silvia Ghilezan, Viktor Kuncak Confluence of Untyped Lambda Calculus via Simple Types. Search on Bibsonomy ICTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
72Yoshihito Toyama Confluent Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
68Takahito Aoto 0001, Junichi Yoshida, Yoshihito Toyama Proving Confluence of Term Rewriting Systems Automatically. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
68Femke van Raamsdonk Confluence and Superdevelopments. Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
58Kentaro Kikuchi Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ?-calculus, Sequent calculus, Cut-elimination, Confluence, Explicit substitution
58Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard The Confluence Problem for Flat TRSs. Search on Bibsonomy AISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Flat, Term rewriting system, Confluence, Decision problem
58Guillem Godoy, Robert Nieuwenhuis, Ashish Tiwari 0001 Classes of term rewrite systems with polynomial confluence problems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Rewriting, confluence
58Karl Gyllstrom, Craig A. N. Soules, Alistair C. Veitch Confluence: enhancing contextual desktop search. Search on Bibsonomy SIGIR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF human factors, experimentation
58Frédéric Blanqui, Claude Kirchner, Colin Riba On the Confluence of lambda-Calculus with Conditional Rewriting. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
58Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer Confluence of Typed Attributed Graph Transformation Systems. Search on Bibsonomy ICGT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
58Adel Bouhoula Simultaneous Checking of Completeness and Ground Confluence. Search on Bibsonomy ASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
58Markus Lohrey Complexity Results for Confluence Problems. Search on Bibsonomy MFCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
52Rakesh M. Verma, Ara Hayrapetyan A new decidability technique for ground term rewriting systems with applications. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF standard forms, unique normalization, decision procedures, rewriting, Confluence, pumping lemma
51Paula Severi, Fer-Jan de Vries An Extensional Böhm Model. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Yahia Rabih, Michel Schneider Analysis of Active Database Rules Behavior Using Rewriting Logic. Search on Bibsonomy DEXA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
50M. R. K. Krishna Rao Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems. Search on Bibsonomy Acta Informatica The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48Jean-Pierre Jouannaud, Vincent van Oostrom Diagrammatic Confluence and Completion. Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decreasing diagrams, completion, rewriting, confluence
48Nebojsa Jojic, Thomas S. Huang Computer Vision and Graphics Techniques for Modeling Dressed Humans. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Andrew Wojdala Can Virtual Look Real? A Review of Virtual Studio Techniques. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Gordon 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 Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Gudrun Klinker Augmented Reality: A Problem in Need of Many Computer Vision-Based Solutions. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Gilles Simon, Vincent Lepetit, Marie-Odile Berger Registration Methods for Harmonious Integration of Real World and Computer Generated Objects. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Kostas Daniilidis, Jane Mulligan, Raymond McKendall, David Schmid, Gerda Kamberova, Ruzena Bajcsy Real-Time 3D-Teleimmersion. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Danijel Skocaj, Ales Leonardis Acquiring Range Images of Objects with Non-Uniform Reflectance Using High Dynamic Scale Radiance Maps. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Radim Sára Accurate Natural Surface Reconstruction from Polynocular Stereo. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Andrew Zisserman, Andrew W. Fitzgibbon, Caroline Baillard, Geoffrey Cross From Images to Virtual and Augmented Reality. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48André Gagalowicz, Philippe Gérard 3D Object Tracking Using Analysis/Synthesis Techniques. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Geoffrey Cross, Andrew Zisserman Surface Reconstruction from Multiple Views Using Apparent Contours and Surface Texture. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Russell A. Manning, Charles R. Dyer Dynamic View Interpolation Without Affine Reconstruction. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Franz W. Leberl, Konrad F. Karner, Markus Maresch Urban Site Models: Accurate, Detailed, Rapid and Inexpensive. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Gerhard Roth Building Models from Sensor Data: An Application Shared by the Computer Vision and the Computer Graphics Community. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Hai Tao, Thomas S. Huang Facial Motion Capturing Using an Explanation-Based Approach. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Martin Urban, Tomás Pajdla, Václav Hlavác Consistent Projective Reconstruction from Multiple Views. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Vittorio Murino, Andrea Fusiello Augmented Reality by Integrating Multiple Sensory Modalities for Underwater Scene Understanding. Search on Bibsonomy Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Luc 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 Confluence of Computer Vision and Computer Graphics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
47Vincent van Oostrom Modularity of Confluence. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Horatiu Cirstea, Germain Faure Confluence of Pattern-Based Calculi. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Zena M. Ariola, Stefan Blom Skew and omega-Skew Confluence and Abstract Böhm Semantics. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Lukasz Kaiser Confluence of Right Ground Term Rewriting Systems Is Decidable. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Gordon J. Pace, Frédéric Lang, Radu Mateescu 0001 Calculating-Confluence Compositionally. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
47Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma On the Confluence of Linear Shallow Term Rewrite Systems. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
47Ashish Tiwari 0001 Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time. Search on Bibsonomy LICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
47Michael Marte A Modular Approach to Proving Confluence. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
47Delia Kesner Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract). Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
47Enno Ohlebusch On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems. Search on Bibsonomy CAAP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
47Klaus Becker 0002 Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications. Search on Bibsonomy TAPSOFT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
47Kai Salomaa Decidability of Confluence and Termination of Monadic Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
41Jochen Malte Küster Definition and validation of model transformations. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Roberto Di Cosmo, Delia Kesner Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. Search on Bibsonomy ICALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
38Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch Deciding the confluence of ordered term rewrite systems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ordered rewriting, path orderings, Rewrite systems, confluence
38Géraud Sénizergues A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems. Search on Bibsonomy RTA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF two tape finite automata, confluence, semi-Thue systems
37Frédéric Lang, Radu Mateescu 0001 Partial Order Reductions Using Compositional Confluence Detection. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Paolo Tranquilli Confluence of Pure Differential Nets with Promotion. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Jon Oldevik, Øystein Haugen, Birger Møller-Pedersen Confluence in Domain-Independent Product Line Transformations. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Vincent van Oostrom Confluence by Decreasing Diagrams. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas Embedding and Confluence of Graph Transformations with Negative Application Conditions. Search on Bibsonomy ICGT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Rémy Haemmerlé, François Fages Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Detlef Plump Confluence of Graph Transformation Revisited. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Jakob Grue Simonsen On the Modularity of Confluence in Infinitary Term Rewriting. Search on Bibsonomy RTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Gilles Dowek Confluence as a Cut Elimination Property. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Toshiyuki Yamada Confluence and Termination of Simply Typed Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Markus Lohrey Word Problems and Confluence Problems for Restricted Semi-Thue Systems. Search on Bibsonomy RTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Anna Philippou, David Walker 0008 On Confluence in the pi-Calculus. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
37Xinxin Liu 0008, David Walker 0008 Confluence of Processes and Systems of Objects. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
37Taro Suzuki, Aart Middeldorp, Tetsuo Ida Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides. Search on Bibsonomy RTA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
37Bernhard Gramlich On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. Search on Bibsonomy ALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
37Pierre-Louis Curien, Giorgio Ghelli On Confluence for Weakly Normalizing Systems. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
37Ursula Martin, Tobias Nipkow Ordered Rewriting and Confluence. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
34Raúl Gutiérrez, Salvador Lucas, Miguel Vítores Proving Confluence in the Confluence Framework with CONFident. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
34Raúl Gutiérrez, Miguel Vítores, Salvador Lucas Confluence Framework: Proving Confluence with CONFident. Search on Bibsonomy LOPSTR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Pat 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 ACM Queue The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
34Gaspard 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 2021   RDF
34Jiaxiang 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 2016   RDF
34Mehdi Dogguy Déterminisme et Confluence dans des systèmes concurrents et synchrones. (Determinacy and confluence in concurrent and synchronous process calculi). Search on Bibsonomy 2012   RDF
34Colin 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 2007   RDF
34Ludovic Henrio Calcul d'objet asynchrone : confluence et déterminisme. (Asynchronous Object Calculus: Confluence and Determinacy). Search on Bibsonomy 2003   RDF
34Friedrich Otto On Confluence Versus Strong Confluence for One-Rule Trace-Rewriting Systems. Search on Bibsonomy Math. Syst. Theory The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
34Kai Salomaa Confluence, ground confluence, and termination of monadic term rewriting systems. Search on Bibsonomy J. Inf. Process. Cybern. The full citation details ... 1992 DBLP  BibTeX  RDF
34Wadoud 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 1990   RDF
31René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp Adding constants to string rewriting. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Termination, Term rewriting, Confluence, String rewriting
31Maribel Fernández, Murdoch Gabbay Nominal rewriting with name generation: abstraction vs. locality. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ?-conversion, first and higher-order rewriting, name generation, locality, confluence, binders
31Bernhard Möller, Georg Struth Greedy-Like Algorithms in Modal Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra
31Max I. Kanovich Bijections between Partitions by Two-Directional Rewriting Techniques. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF multiset rewriting, partition identities, termination, combinatorics, confluence, strong normalization, Church-Rosser property, integer partitions
31Hongjing Wu, Erik de Kort, Paul De Bra Design issues for general-purpose adaptive hypermedia systems. Search on Bibsonomy Hypertext The full citation details ... 2001 DBLP  DOI  BibTeX  RDF adaptation rules, user modeling, termination, adaptive hypermedia, active databases, confluence
31Naoki Kobayashi 0001, Benjamin C. Pierce, David N. Turner Linearity and the pi-calculus. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF linear types, concurrency, pi-calculus, process calculi, confluence
31Salvador Lucas Context-Sensitive Computations in Confluent Programs. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF functional programming, term rewriting systems, confluence
31Tachio Terauchi, Alex Aiken A capability calculus for concurrency and determinism. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type systems, Determinism, capabilities
31Anna Philippou, George Michael Verification Techniques for Distributed Algorithms. Search on Bibsonomy OPODIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Denis Caromel, Ludovic Henrio, Bernard P. Serpette Asynchronous and deterministic objects. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF object calculus, parallelism, concurrency, distribution, object-oriented languages, determinism, futures
31Elena Machkasova, Franklyn A. Turbak A Calculus for Link-Time Compilation. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez Algorithms and Reductions for Rewriting Problems. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Roberto Di Cosmo, Delia Kesner A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31Daniel J. Dougherty Some Lambda Calculi with Categorial Sums and Products. Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31Volker Diekert, Edward Ochmanski, Klaus Reinhardt On Confluent Semi-Commutations - Decidability and Complexity Results. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
31Robert Strandh Optimizing Equational Programs. Search on Bibsonomy RTA The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
27Sébastien Konieczny, Ramón Pino Pérez Confluence Operators. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 877 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license