The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Galois-connection (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1988-2000 (16) 2001-2004 (19) 2005-2006 (15) 2007-2008 (18) 2009-2014 (15) 2015-2023 (15)
Publication types (Num. hits)
article(38) inproceedings(60)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 122 occurrences of 81 keywords

Results
Found 98 publication records. Showing 98 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
122Hilary A. Priestley Ordered Sets and Complete Lattices. Search on Bibsonomy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
76George Georgescu, Andrei Popescu 0001 Non-commutative fuzzy Galois connections. Search on Bibsonomy Soft Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Non-commutative fuzzy logic, Fuzzy Galois connection, Non-commutative conjunction, Fuzzy relation
73Patrick Cousot, Radhia Cousot Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
65Radim Belohlávek, Tatána Funioková, Vilém Vychodil Galois Connections with Truth Stressers: Foundations for Formal Concept Analysis of Object-Attribute Data with Fuzzy Attributes. Search on Bibsonomy Fuzzy Days The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
63Gabriele Castellini, David B. Holgate A Link Between Two Connectedness Notions. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF morphism orthogonality, closure operator, connectedness, Galois connection
63Asger Eir Relating Domain Concepts Intensionally by Ordering Connections. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension
51Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg Galois Connection for Hyperclones. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hyperoperation, hyperclones, Galois connection
50Jean Diatta, Daniel Rajaonasy Feno, André Totohasina Galois Lattices and Bases for MGK-Valid Association Rules. Search on Bibsonomy CLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Quality measure, Closure operator, Galois connection, Basis, Negative association rule
50Jan Midtgaard, Thomas P. Jensen A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo, Yahya Slimani IGB: A New Informative Generic Base of Association Rules. Search on Bibsonomy PAKDD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Generic base, Axio-matic system, Association rules, Galois connection
40George Georgescu, Andrei Popescu 0001 Non-dual fuzzy connections. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Isotone structure, conjugated pair, Duality, Fuzzy set theory, Closure operator, Galois connection
40Boris A. Romov Completeness Theory for Vector Partial Multiple-Valued Logic Functions. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF completeness theory, vector partial multiple-valued logic functions, completeness criterion, multiple-base invariant relations algebra, restricted quantifier free calculus, multivalued logic, Galois connection
38David Darais, David Van Horn Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
38David Darais, David Van Horn Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
38Ali Jaoua, Samir Elloumi Galois connection, formal concepts and Galois lattice in real relations: application in a real classifier. Search on Bibsonomy J. Syst. Softw. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Patrick Cousot, Radhia Cousot Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
36Klaus Denecke, Dara Phusanga Hyperformulas and Solid Algebraic Systems. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMS subject classification 03B50, 08A46, 08A30
32Amedeo Napoli, Florence Le Ber The Galois lattice as a hierarchical structure for topological relations. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 06B99
32Tomasz Brzezinski, Ryan B. Turner The Galois Theory of Matrix C-rings. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 16W30
31Nadia Creignou, Henning Schnoor, Ilka Schnoor Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Manuel Bodirsky, Martin Hils, Barnaby Martin On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Constraint Satisfaction, Galois Connection, Model Theory
27Ali Jaoua, Rehab M. Duwairi, Samir Elloumi, Sadok Ben Yahia Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Formal Concept Analysis, Galois Connection, Minimal representation
27Sukriti Bhattacharya, Agostino Cortesi A Generic Distortion Free Watermarking Technique for Relational Databases. Search on Bibsonomy ICISS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Database Watermarking, Abstract Interpretation, Galois Connection, HMAC
27Raffaella Bernardi, Anna Szabolcsi Optionality, Scope, and Licensing: An Application of Partially Ordered Categories. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Boolean connectives, Typed feature structures, Natural language syntax, Polarity items, Partial order, Licensing, Residuation, Galois-connection, Scope, Optionality
27Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli Refinement preserving approximations for the design and verification of heterogeneous systems. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization
27Jesús Medina 0001, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño On Multi-adjoint Concept Lattices: Definition and Representation Theorem. Search on Bibsonomy ICFCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-adjoint lattices, implication triples, concept lattices, Galois connection
27Heribert Vollmer Computational Complexity of Constraint Satisfaction. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF computational complexity, constraint satisfaction, polymorphism, clone, Galois connection, satisfiability problems
27Florent Domenach, Bruno Leclerc Biclosed Binary Relations and Galois Connections. Search on Bibsonomy Order The full citation details ... 2001 DBLP  DOI  BibTeX  RDF join irreducible, lattice, relation, closure, Galois connection
27Gabriele Castellini Connectedness with Respect to a Closure Operator. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF constant morphism, closure operator, connectedness, Galois connection
27Maria I. Sessa Translations and similarity-based logic programming. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Logic Programming, Abstract interpretation, Approximate reasoning, Galois connection, Similarity relation
27Ralph-Johan Back, Joakim von Wright Encoding, Decoding and Data Refinement. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Predicate transformer semantics, Abstraction, Galois connection, Data refinement
27Carroll Morgan, Annabelle McIver, Karen Seidel 0002 Probabilistic Predicate Transformers. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation
27Henning Schnoor, Ilka Schnoor Partial Polymorphisms and Constraint Satisfaction Problems. Search on Bibsonomy Complexity of Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF partial polymorphisms, computational complexity, constraint satisfaction problems, clones
27Jifeng He 0001, C. A. R. Hoare Linking Theories of Concurrency. Search on Bibsonomy ICTAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Alain Casali, Rosine Cicchetti, Lotfi Lakhal Extracting semantics from data cubes using cube transversals and closures. Search on Bibsonomy KDD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF algorithm, lattices, closures, version spaces, datacubes, hypergraph transversals
24Isabella Mastroeni, Michele Pasqua Domain Precision in Galois Connection-Less Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Yang Xu 0040, Haibin Kan, Guangyue Han A Galois Connection Approach to Wei-Type Duality Theorems. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora 0001 A Galois connection between partial formal contexts and attribute sets. Search on Bibsonomy CLA The full citation details ... 2022 DBLP  BibTeX  RDF
24Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection. Search on Bibsonomy CLA The full citation details ... 2022 DBLP  BibTeX  RDF
24Yang Xu 0040, Haibin Kan, Guangyue Han A Galois Connection Approach to Wei-Type Duality Theorems. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24Ryuta Arisaka, Takayuki Ito 0001 Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report). Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24Vasco Brattka A Galois connection between Turing jumps and limits. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Vasco Brattka A Galois connection between Turing jumps and limits. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Radoslaw Antoni Kycia Landauer's Principle as a Special Case of Galois Connection. Search on Bibsonomy Entropy The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Emil Jerábek Galois connection for multiple-output operations. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
24Peter Fulla, Stanislav Zivný A Galois Connection for Weighted (Relational) Clones of Infinite Size. Search on Bibsonomy ACM Trans. Comput. Theory The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Peter Fulla, Stanislav Zivný A Galois Connection for Valued Constraint Languages of Infinite Size. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
24Peter Fulla, Stanislav Zivný A Galois Connection for Valued Constraint Languages of Infinite Size. Search on Bibsonomy ICALP (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Simon Kramer 0001 A Galois-Connection between Cattell's and Szondi's Personality Profiles. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
24Simon Kramer 0001 A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
24Patrick Cousot, Radhia Cousot A Galois connection calculus for abstract interpretation. Search on Bibsonomy POPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Wojciech Dzik, Jouni Järvinen, Michiro Kondo Intuitionistic modal logic with a galois connection has the finite model property1. Search on Bibsonomy Log. J. IGPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Francesco Ciraulo, Giovanni Sambin A constructive Galois connection between closure and interior. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Huawen Liu, Lei Liu, Huijie Zhang A fast pruning redundant rule method using Galois connection. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24David A. Cohen, Páidí Creed, Peter G. Jeavons, Stanislav Zivný An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection. Search on Bibsonomy MFCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Paulo F. Silva 0001, José Nuno Oliveira 'Galculator': functional prototype of a Galois-connection based proof assistant. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF point-free notation, haskell, DSL, Galois connections, proof assistant, GADT
24Meng Sun Pre-Galois Connection on Coalgebras for Generic Component Refinement. Search on Bibsonomy TTSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Jianmin Ma, Wen-Xiu Zhang, Yee Leung, Xiaoxue Song Granular computing and dual Galois connection. Search on Bibsonomy Inf. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Stan J. Surma A Galois Connection. Search on Bibsonomy Logica Universalis The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Dragan Bosnacki On Some Galois Connection Based Abstractions for the Mu-Calculus. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model checking, abstraction, mu-calculus, property preservation
24Sadok Ben Yahia, Narjes Doggaz, Yahya Slimani, Jihem Rezgui A Galois connection semantics-based approach for deriving generic bases of association rules. Search on Bibsonomy EGC The full citation details ... 2004 DBLP  BibTeX  RDF
24Ali Jaoua, Faisal Alvi, Samir Elloumi, Sadok Ben Yahia Galois Connection in Fuzzy Binary Relations, Applications for Discovering Association Rules and Decision Making. Search on Bibsonomy RelMiCS The full citation details ... 2000 DBLP  BibTeX  RDF
24Patrick Cousot, Radhia Cousot Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. Search on Bibsonomy JTASPEFT/WSA The full citation details ... 1991 DBLP  BibTeX  RDF
23Jean Diatta Galois closed entity sets and k -balls of quasi-ultrametric multi-way dissimilarities. Search on Bibsonomy Adv. Data Anal. Classif. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF JEL Classification C00, C45
23Ken-etsu Fujita Galois Embedding from Polymorphic Types into Existential Types. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Ruggero G. Pensa, Jean-François Boulicaut Towards Fault-Tolerant Formal Concept Analysis. Search on Bibsonomy AI*IA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Jérémy Besson, Céline Robardet, Jean-François Boulicaut Mining Formal Concepts with a Bounded Number of Exceptions from Transactional Data. Search on Bibsonomy KDID The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Kevin Backhouse, Roland Carl Backhouse Logical Relations and Galois Connections. Search on Bibsonomy MPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23David A. Schmidt Structure-Preserving Binary Relations for Program Abstraction. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Olivier Danvy, Julia L. Lawall Back to Direct Style II: First-Class Continuations. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF SCHEME
13Agostinho Almeida Canonical Extensions and Relational Representations of Lattices with Negation. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF canonical extension, Lattice, duality, negation
13Yassine Djouadi, Henri Prade Interval-Valued Fuzzy Formal Concept Analysis. Search on Bibsonomy ISMIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
13Florent R. Madelaine, Barnaby Martin The Complexity of Positive First-order Logic without Equality. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
13Xueyou Chen Concept Lattices in L-Rough Sets. Search on Bibsonomy ISNN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF L-set, The object (property) oriented concept lattice, Rough set, Formal concept analysis
13Oana Agrigoroaiei, Gabriel Ciobanu Non-interleaving Semantics with Causality for Nondeterministic Dataflow. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Dikran Dikranjan, Elena Martín Peinador, Vaja Tarieladze Conway's Question: The Chase for Completeness. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 22A05, 22B05, 54D25, 54H11, Secondary 54A35, 54D30, 54H13, 54B30
13Céline Hébert, Alain Bretto, Bruno Crémilleux Optimizing hypergraph transversal computation with an anti-monotone constraint. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Abdelsalam Shanneb, John Potter Lock Selection Made Easy. Search on Bibsonomy ASWEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Jeff W. Sanders Computations and Relational Bundles. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Jifeng He 0001, Jeff W. Sanders Unifying Probability. Search on Bibsonomy UTP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Helmut Röhrl On N-Summations, II. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF semimodules, N-summation, unconditionally summable, semirings
13Nicolas Pasquier, Rafik Taouil, Yves Bastide, Gerd Stumme, Lotfi Lakhal Generating a Condensed Representation for Association Rules. Search on Bibsonomy J. Intell. Inf. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Galois closure operator, min-max association rules, basis for association rules, data mining, generators, frequent closed itemsets, condensed representation
13Mineichi Kudo, Tetsuya Murai A New Treatment and Viewpoint of Information Tables. Search on Bibsonomy RSFDGrC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Sébastien Ferré, Olivier Ridoux, Benjamin Sigonneau Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. Search on Bibsonomy ICCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Jaume Baixeries, José L. Balcázar Characterization and Armstrong Relations for Degenerate Multivalued Dependencies Using Formal Concept Analysis. Search on Bibsonomy ICFCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Jifeng He 0001 Linking Theories of Concurrency. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Baptiste Jeudy, François Rioult Database Transposition for Constrained (Closed) Pattern Mining. Search on Bibsonomy KDID The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Lei Jia, Jun Yao, Renqing Pei Mining Association Rules with Frequent Closed Itemsets Lattice. Search on Bibsonomy KES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13Alexej P. Pynko Extensions of Halkowska-Zajac's three-valued paraconsistent logic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
13Mirko Zanotti Security Typings by Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
13Éric Badouel, Marek A. Bednarczyk, Philippe Darondeau Generalized Automata and Their Net Representations. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Yves Bastide, Nicolas Pasquier, Rafik Taouil, Gerd Stumme, Lotfi Lakhal Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
13Laurent Chaudron, Nicolas Maille Generalized Formal Concept Analysis. Search on Bibsonomy ICCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
13Amr Sabry, Philip Wadler A Reflection on Call-by-Value. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF compiling, continuations, category theory, Galois connections
13Amr Sabry, Philip Wadler A Reflection on Call-by-Value. Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
13Janos J. Sarbo, József Farkas Concept Sublattices. Search on Bibsonomy ECML The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
13Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis Property Preserving Simulations. Search on Bibsonomy CAV The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
13Elias Dahlhaus, Marek Karpinski A Fast Parallel Algorithm for Computing all Maximal Cliques in a Graph and the Related Problems (Extended Abstract). Search on Bibsonomy SWAT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #98 of 98 (100 per page; Change: )
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