The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1965-1979 (19) 1980-1985 (18) 1986-1988 (24) 1989-1990 (23) 1991 (21) 1992 (17) 1993 (22) 1994 (25) 1995 (28) 1996-1997 (29) 1998-1999 (35) 2000 (20) 2001 (31) 2002 (25) 2003 (28) 2004 (49) 2005 (44) 2006 (38) 2007 (47) 2008 (64) 2009 (41) 2010 (15) 2011 (22) 2012 (18) 2013 (22) 2014 (25) 2015 (18) 2016 (18) 2017 (20) 2018 (32) 2019 (24) 2020 (21) 2021 (29) 2022 (15) 2023 (25) 2024 (7)
Publication types (Num. hits)
article(378) incollection(6) inproceedings(564) phdthesis(11)
Venues (Conferences, Journals, ...)
CoRR(69) CONCUR(43) ICALP(29) Theor. Comput. Sci.(21) Inf. Comput.(17) LICS(14) MFCS(13) POPL(13) FSTTCS(12) CAV(11) Appl. Categorical Struct.(10) FoSSaCS(10) J. Log. Algebraic Methods Prog...(10) Acta Informatica(9) ESOP(9) AMAST(8) More (+10 of total 428)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 377 occurrences of 283 keywords

Results
Found 959 publication records. Showing 959 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
78Lucian Ilie, Roberto Solis-Oba, Sheng Yu 0001 Reducing the Size of NFAs by Using Equivalences and Preorders. Search on Bibsonomy CPM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF state complexity, finite automata, equivalences, regular expression matching, preorders
75Paolo Baldan, Andrea Bracciali, Roberto Bruni Symbolic Equivalences for Open Systems. Search on Bibsonomy Global Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
68Jianmin Jiang, Jinzhao Wu The Preservation of Interleaving Equivalences. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bundle action transitions, interleaving equivalences, action refinement, Event structures
65Xin Chen 0002, Yuxin Deng Game Characterizations of Process Equivalences. Search on Bibsonomy APLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
65Harald Fecher The Influence of Durational Actions on Time Equivalences. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
65Xiao Jun Chen, Rocco De Nicola Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. Search on Bibsonomy ICALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
65Alexander Moshe Rabinovich Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
59Michael Siegel, Frank A. Stomp Extending the Limits of Sequentially Phased Reasoning. Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
55Stefan Brüning Exploiting Conditional Equivalences in Connection Calculi. Search on Bibsonomy KI/ÖGAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
55Ursula Goltz, Ruurd Kuiper 0001, Wojciech Penczek Propositional Temporal Logics and Equivalences. Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
55Dung T. Huynh, Lu Tian The complexity of readiness and failure equivalences for processes. Search on Bibsonomy SPDP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
52J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce Quotient lenses. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bidirectional languages, bijective languages, boomerang, regular string transducers, equivalences, lenses, view update problem, canonizers, regular types
49Mohammad Izadi, Ali Movaghar 0001 Compositional failure-based semantic equivalences for Reo specifications. Search on Bibsonomy SAVCBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Reo specification language, failure-based equivalences, semantics, coordination, component-based systems, constraint automata
49Eugene W. Stark, Rance Cleaveland, Scott A. Smolka Probabilistic I/O Automata: Theories of Two Equivalences. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations
49A. Del Río, Luis Javier Hernández-Paricio, María Teresa Rivas Rodríguez S-types of Global Towers of Spaces and Exterior Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 55Q57, 55Q70, 54A05
49Filippo Bonchi, Barbara König 0001, Ugo Montanari Saturated Semantics for Reactive Systems. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
46Manuel Núñez 0001, Luis Fernando Llana Díaz A Hierarchy of Equivalences for Probabilistic Processes. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
46Huimin Lin Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
46Linda Christoff, Ivan Christoff Efficient Algorithms for Verification of Equivalences for Probabilistic Processes. Search on Bibsonomy CAV The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
46Rob J. van Glabbeek, Ursula Goltz Equivalences and Refinement. Search on Bibsonomy Semantics of Systems of Concurrent Processes The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
39Xiaowei Huang 0001, Li Jiao, Weiming Lu What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. Search on Bibsonomy ICICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF rule format, computer security, non-interference, semantic equivalences
39Yuxin Deng, Catuscia Palamidessi Axiomatizations for Probabilistic Finite-State Behaviors. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Rob J. van Glabbeek, Ursula Goltz Refinement of actions and equivalence notions for concurrent systems. Search on Bibsonomy Acta Informatica The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Vitus S. W. Lam Equivalences of BPMN processes. Search on Bibsonomy Serv. Oriented Comput. Appl. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Process equivalence, Equivalence classification, BPMN
36Marco Bernardo 0001 A Survey of Markovian Behavioral Equivalences. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Bruno Blanchet, Martín Abadi, Cédric Fournet Automated Verification of Selected Equivalences for Security Protocols. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Maria V. Andreeva, Irina B. Virbitskaite Timed Equivalences for Timed Event Structures. Search on Bibsonomy PaCT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Davide Sangiorgi, David Walker 0008 On Barbed Equivalences in pi-Calculus. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Vashti Galpin Comparison of Process Algebra Equivalences Using Formats. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Petr Jancar, Antonín Kucera 0001, Richard Mayr Deciding Bisimulation-Like Equivalences with Finite-State Processes. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Zhoujun Li, Huowang Chen Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes. Search on Bibsonomy ISAAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Irek Ulidowski Axiomatisations of Weak Equivalences for De Simone Languages. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Joachim Parrow Structural and Behavioural Equivalences of Networks. Search on Bibsonomy ICALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
36Ivan Christoff Testing Equivalences and Fully Abstract Models for Probabilistic Processes. Search on Bibsonomy CONCUR The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
36Stefania Gnesi, Paola Inverardi, Monica Nesi A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. Search on Bibsonomy Concurrency The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
33Simon Henry, Samuel Mimram Tietze Equivalences as Weak Equivalences. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Enguerrand Prebet Typed Behavioural Equivalences in the Pi-Calculus. (Équivalences comportementales typées dans le pi-calcul). (PDF / PS) Search on Bibsonomy 2022   RDF
33Simon Henry, Samuel Mimram Tietze Equivalences as Weak Equivalences. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
33Itsaka Rakotonirina Efficient verification of observational equivalences of cryptographic processes : theory and practice. (Vérification efficace d'équivalences observationnelles de processus cryptographiques : théorie et pratique). Search on Bibsonomy 2021   RDF
33Francesco Gavazzo Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects. (Equivalences coinductives et métriques pour les langages d'ordre supérieur avec des effets algébriques). Search on Bibsonomy 2019   RDF
33Khanh Vo Phi Contributions à l'étude des arrangements: Equivalences combinatoires et perturbations. (Contributions to the study of arrangements: Combinatorial equivalences and perturbations). Search on Bibsonomy 1994   RDF
33Pierre-Louis Curien Syntactic Equivalences Inducing Semantic Equivalences. Search on Bibsonomy European Conference on Computer Algebra (2) The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
32Julian Gutierrez 0001 Logics and Bisimulation Games for Concurrency, Causality and Conflict. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
32Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi 0001 TAPAs: A Tool for the Analysis of Process Algebras. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF behavioural equivalences, concurrency, process algebras, modal logics, bisimulation, property verification
32Lucian Ilie, Sheng Yu 0001 Algorithms for Computing Small NFAs. Search on Bibsonomy MFCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF follow relations, invariant equivalences, algorithms, regular expressions, positions, partial derivatives, quotients, nondeterministic finite automata
32Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek Precongruence Formats for Decorated Trace Preorders. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF semantic equivalences and preorders, Concurrency, compositionality, labeled transition systems, full abstraction, structural operational semantics
29Tayssir Touili Constrained Reachability of Process Rewrite Systems. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Marco Bernardo 0001 Towards State Space Reduction Based on T-Lumpability-Consistent Relations. Search on Bibsonomy EPEW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga Game Relations and Metrics. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Jirí Srba Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Jürgen Lerner Role Assignments. Search on Bibsonomy Network Analysis The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Sumit Gulwani, George C. Necula A Polynomial-Time Algorithm for Global Value Numbering. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Alfons H. Salden Multimedia System Analysis And Processing. Search on Bibsonomy ICME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Oliver Rüthing, Jens Knoop, Bernhard Steffen Detecting Equalities of Variables: Combining Efficiency with Precision. Search on Bibsonomy SAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger The Observational Power of Clocks. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
29Joachim Parrow, Davide Sangiorgi Algebraic Theories for Name-Passing Calculi. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
29Rob J. van Glabbeek, Ursula Goltz Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract). Search on Bibsonomy MFCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
29Rob J. van Glabbeek, Frits W. Vaandrager Petri Net Models for Algebraic Theories of Concurrency. Search on Bibsonomy PARLE (2) The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
29Kim Guldstrand Larsen A Context Dependent Equivalence between Processes. Search on Bibsonomy ICALP The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
26Roland Glück, Bernhard Möller, Michel Sintzoff A Semiring Approach to Equivalences, Bisimulations and Control. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Hiroaki Yoshida, Masahiro Fujita Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal equivalences. Search on Bibsonomy ISQED The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Omid Sarbishei, Bijan Alizadeh, Masahiro Fujita Arithmetic Circuits Verification without Looking for Internal Equivalences. Search on Bibsonomy MEMOCODE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Mihir Bellare, Marc Fischlin, Adam O'Neill, Thomas Ristenpart Deterministic Encryption: Definitional Equivalences and Constructions without Random Oracles. Search on Bibsonomy CRYPTO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Alberto Trombetta, Danilo Montesi Equivalences and optimizations in an expressive XSLT subset. Search on Bibsonomy Acta Informatica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Robert Jenssen, Torbjørn Eltoft, Deniz Erdogmus, José C. Príncipe Some Equivalences between Kernel Methods and Information Theoretic Methods. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mercel kernel methods, information theoretic methods, Parzen window
26Paolo Baldan, Fabio Gadducci, Ugo Montanari Concurrent Rewriting for Graphs with Equivalences. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Concurrent graph rewriting, dpo approach, graphical encoding of nominal calculi, graph process semantics
26Alberto Trombetta, Danilo Montesi Equivalences and Optimizations in an Expressive XSLT Fragment. Search on Bibsonomy IDEAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Radoslaw P. Katarzyniak Extracting Modal Implications and Equivalences from Cognitive Minds. Search on Bibsonomy Discovery Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Guangping Qin, Jinzhao Wu Branching Time Equivalences for Interactive Markov Chains. Search on Bibsonomy FORTE Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Slawomir Lasota 0001 A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Hong Yao, Howard J. Hamilton, Cory J. Butz FD_Mine: Discovering Functional Dependencies in a Database Using Equivalences. Search on Bibsonomy ICDM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Luis Berrojo, Isabel González, Luis Entrena, Celia López, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero Analysis of the Equivalences and Dominances of Transient Faults at the RT Level. Search on Bibsonomy IOLTW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Cédric Fournet, Georges Gonthier A Hierarchy of Equivalences for Asynchronous Calculi. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini Equivalences of Statecharts. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Gerlinde Schreiber Functional Equivalences of Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
26Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli Equivalences for Fair Kripke Structures. Search on Bibsonomy ICALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Astrid Kiehn On the Decidability of Non-Interleaving Process Equivalences. Search on Bibsonomy CONCUR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Lalita Jategaonkar, Albert R. Meyer Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report). Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
26Alan F. McMichael SLIM: An Automated Reasoner For Equivalences, Applied To Set Theory. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
26Rocco De Nicola, Paola Inverardi, Monica Nesi Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
26Laurent Kott A System for Proving Equivalences of Recursive Programs. Search on Bibsonomy CADE The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
23Ladislav J. Kohout Boolean and Fuzzy Relations. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Local relational properties, Interiors, Pre-order, BK-products, Relational compositions, Nonassociative products, Generalized morphism, Universal properties of relations, n-ary relation, Value analysis, Artificial intelligence, Decision theory, Psychology, Equivalences, Tolerances, Medicine, Scientific applications, Closures, Fuzzy relations, Engineering applications
23Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt On the Expressiveness and Decidability of Higher-Order Process Calculi. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages
23José Luis González Sánchez 0001, Marcelino J. Cabrera, Francisco L. Gutiérrez Using Videogames in Special Education. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF stimulus equivalences, interaction systems, video games, autism, communication systems, learning tools, multiple intelligences
23Jianmin Jiang, Jinzhao Wu, Hongping Shu Symmetry in Process Algebra. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF behavioral equivalences, Process algebra, symmetry, permutation groups
23Jianmin Jiang, Jinzhao Wu, Donghuo Chen Symmetry in event structures. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF symmetry, equivalences, event structures
23Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin A classification of symbolic transition systems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF infinite-state model checking, state equivalences, Model checking, temporal logics, hybrid automata, symbolic algorithms
23Sumit Gulwani, George C. Necula Global value numbering using random interpretation. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF global value numbering, herbrand equivalences, random interpretation, randomized algorithm, uninterpreted functions
23Francesca Levi, Davide Sangiorgi Mobile safe ambients. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF behavioral equivalences, Mobility, interferences
20Jirí Rosický On Combinatorial Model Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 55U55, Secondary 18C35
20Amal Ahmed 0001, Derek Dreyer, Andreas Rossberg State-dependent representation independence. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF local state, representation independence, abstract data types, existential types, step-indexed logical relations
20Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin Managing Model Adaptation by Precise Detection of Metamodel Changes. Search on Bibsonomy ECMDA-FA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Adaptation, Model Transformation, Model-Driven Engineering
20Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan On the Relationships between Notions of Simulation-Based Security. Search on Bibsonomy J. Cryptol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus
20Bishop Brock, Matt Kaufmann, J Strother Moore Rewriting with Equivalence Relations in ACL2. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Refinement, Rewriting, Congruence, Equivalence relations
20Vincent Astier Elementary equivalence of some rings of definable functions. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03C60, 14P10, 06F25
20Lifeng He, Yuyan Chao, Kenji Suzuki 0001 A Run-Based Two-Scan Labeling Algorithm. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Søren B. Lassen, Paul Blain Levy Typed Normal Form Bisimulation for Parametric Polymorphism. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF LTS, bisimulation, parametric polymorphism, typed lambda calculus
20Étienne Lozes, Jules Villard A Spatial Equational Logic for the Applied pi-Calculus. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20David de Frutos-Escrig, Carlos Gregorio-Rodríguez Universal Coinductive Characterisations of Process Semantics. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 959 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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