The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1937-1973 (16) 1974-1980 (20) 1981-1983 (15) 1984-1986 (16) 1987-1988 (24) 1989-1990 (17) 1991-1993 (20) 1994-1995 (26) 1996 (16) 1997 (20) 1998 (18) 1999 (18) 2000 (19) 2001 (18) 2002 (25) 2003 (27) 2004 (21) 2005 (21) 2006 (21) 2007 (25) 2008 (24) 2009 (26) 2010 (23) 2011 (19) 2012 (22) 2013 (17) 2014 (18) 2015 (25) 2016 (24) 2017 (22) 2018-2019 (36) 2020 (18) 2021 (20) 2022-2023 (25) 2024 (5)
Publication types (Num. hits)
article(421) book(1) incollection(5) inproceedings(294) phdthesis(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 185 occurrences of 130 keywords

Results
Found 727 publication records. Showing 727 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
92Johann A. Makowsky Invariant Definability and P/poly. Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
72Alexej P. Pynko A relative interpolation theorem for infinitary universal Horn logic and its applications. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Universal Horn theory, Interpolation theorem, Preservation theorem, Definability theorem
67Margarita V. Korovina Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
67Anuj Dawar, Lauri Hella, Phokion G. Kolaitis Implicit Definability and Infinitary Logic in Finite Model Theory. Search on Bibsonomy ICALP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
63Alfredo Burrieza, Inman P. de Guzmán A Temporal × Modal Approach to the Definability of Properties of Functions. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF $Ttimes W$-semantics, functional semantics, completeness, definability
54Yiyu Yao A Note on Definability and Approximations. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Jerzy W. Grzymala-Busse, Wojciech Rzasa Definability of Approximations for a Generalization of the Indiscernibility Relation. Search on Bibsonomy FOCI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Leonid Libkin, Frank Neven Logical Definability and Query Languages over Unranked Trees. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
54Damon Kaller Definability Equals Recognizability of Partial 3-Trees. Search on Bibsonomy WG The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
50Oleg V. Kudinov, Victor L. Selivanov Definability in the Infix Order on Words. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Infix order, least fixed point, biinterpretability, definability, automorphism, first-order theory
50Oleg V. Kudinov, Victor L. Selivanov A Gandy Theorem for Abstract Structures and Applications to First-Order Definability. Search on Bibsonomy CiE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Gandy theorem, least fixed point, biinterpretability, labeled forest, h-quasiorder, definability
50Marc Aiguier, Fabrice Barbier An Institution-independent Proof of the Beth Definability Theorem. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Beth definability, morphisms and comorphisms, inclusive category, institution theory, Craig interpolation
50Larisa Maksimova Definability and Interpolation in Non-Classical Logics. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interpolation, modal logic, intuitionistic logic, definability, non-classical logics, amalgamation
50Elisabeth Pelz About the concurrent behaviour of EN systems: definability and closure results. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF concurrent behaviour, partial word languages, logical specifications, monadic second order logic, definability, Elementary net systems
47Matthias Baaz, Rosalie Iemhoff On Interpolation in Existence Logics. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
47Marcelo P. Fiore Semantic analysis of normalisation by evaluation for typed lambda calculus. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics
47Achim Blumensath, Erich Grädel Automatic Structures. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF definability vs. complexity, logic, interpretability, Automata
47Achim Blumensath Bounded Arithmetic and Descriptive Complexity. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF arithmetic, descriptive complexity, definability
41Xavier Caicedo Definability and automorphisms in abstract logics. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Martin Grohe, Julian Mariño Definability and Descriptive Complexity on Databases of Bounded Tree-Width. Search on Bibsonomy ICDT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Eugenia Ternovskaia Inductive Definability and the Situation Calculus. Search on Bibsonomy Transactions and Change in Logic Databases The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Wojciech Buszkowski Approximation Spaces and Definability for Incomplete Information Systems. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Stephen A. Fenner, Lance Fortnow, Lide Li Gap-Definability as a Closure Property. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
38Thierry Joly Encoding of the Halting Problem into the Monster Type & Applications. Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38H. Imhof Logics that define their own semantics. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Anil Seth Sharper Results on the Expressive Power of Generalized Quantifiers. Search on Bibsonomy FSTTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
38Newton C. A. da Costa, Alexandre A. M. Rodrigues Definability and Invariance. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Generalized Galois Theory, Invariance, Model Theory, Definability, Galois Theory
38Oleg V. Kudinov, Victor L. Selivanov Definability in the Homomorphic Quasiorder of Finite Labeled Forests. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF homomorphic quasiorder, atomic structure, definability, forest, automorphism, Labeled tree
38Stefan Kahrs Limits of ML-Definability. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF completeness, ML, polymorphism, recursion, definability
38Helmut Thiele On the Mutual Definability of Fuzzy Tolerance Relations and Fuzzy Tolerance Coverings. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF tolerance analysis, mutual definability, fuzzy tolerance relations, fuzzy tolerance coverings, systems of sets, fixed universe, crisp set theory, bijections, fuzzy equivalence relations, crisp tolerance relations, crisp coverings, pattern recognition, cluster analysis, symmetry, fuzzy clusters, fuzzy set theory, equivalence classes, similarity relations, universal algebras, binary relations, reflexivity, fuzzy partitions, lattice isomorphisms
34Marc Gyssens, Jan Paredaens, Dirk Van Gucht, George H. L. Fletcher Structural characterizations of the semantics of XPath as navigation tool on a document. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF XPath, expressibility, definability
34Ranko Lazic 0001, David Nowak On a Semantic Definition of Data Independence . Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF nondeterminism, logical relations, Data independence, definability
34Victor L. Selivanov A Logical Approach to Decidability of Hierarchies of Regular Star-Free Languages. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Star-free regular languages, hierarchies, decidability, definability
33Philippe Balbiani, Tinko Tinchev Decidable and Undecidable Problems for First-Order Definability and Modal Definability. Search on Bibsonomy TbiLLC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Juha Kontinen, Jakub Szymanik A characterization of definability of second-order generalized quantifiers with applications to non-definability. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
29Jing Shi Modal Expressivity and Definability over Sets. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Michael Benedikt, Leonid Libkin, Frank Neven Logical definability and query languages over ranked and unranked trees. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ranked trees, unranked trees, query languages, tree automata, model theory
29Margarita V. Korovina, Oleg V. Kudinov The Uniformity Principle for Sigma -Definability with Applications to Computable Analysis. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Jan Rauch Definability of Association Rules in Predicate Calculus. Search on Bibsonomy Foundations and Novel Approaches in Data Mining The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Clemens Grabmayer, Jan Willem Klop, Bas Luttik Some Remarks on Definability of Process Graphs. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Albert Atserias Definability on a Random 3-CNF Formula. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Martin Grohe, György Turán Learnability and Definability in Trees and Similar Structures. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Margarita V. Korovina Recent Advances in S-Definability over Continuous Data Types. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Dietmar Berwanger, Erich Grädel, Stephan Kreutzer Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani Relative Definability and Models of Unary PCF. Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco Definability and decidability of binary predicates for time granularity. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Martin Grohe, György Turán Learnability and Definability in Trees and Similar Structures. Search on Bibsonomy STACS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Lotfi A. Zadeh Toward a Theory of Hierarchical Definability (THD). Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Alexandra Shlapentokh Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of Q. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03C57, 03D35, 11D57, 11U05
29Foto N. Afrati, Hans Leiß, Michel de Rougemont Definability and Compression. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Lempel-Ziv, compression, logic
29Michael Benedikt, H. Jerome Keisler Definability over Linear Constraints. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Eva Hoogland, Maarten Marx, Martin Otto 0001 Beth Definability for the Guarded Fragment. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Marcelo P. Fiore, Alex K. Simpson Lambda Definability with Sums via Grothendieck Logical Relations. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Helmut Thiele On the Mutual Definability of Classes of Generalized Fuzzy Implications and of Classes of Generalized NegationsandS-Norms. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF S-implications, S-norms, R-implications, QL-implications, negations, T-norms
29Arnold L. Rosenberg On the Independence of Real-Time Definability and Certain Structural Properties of Context-Free Languages. Search on Bibsonomy J. ACM The full citation details ... 1968 DBLP  DOI  BibTeX  RDF
25Christian Glaßer, Stephen D. Travers Machines that Can Output Empty Words. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Leaf languages, Gap theorems, Computational complexity, Polynomial-time hierarchy
25Martin Grohe Definable Tree Decompositions. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fixed point logic, descriptive complexity, tree decomposition
25Albert Atserias, Andrei A. Bulatov, Anuj Dawar Affine Systems of Equations and Counting Infinitary Logic. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Yiyu Yao, Yaohua Chen Rough Set Approximations in Formal Concept Analysis. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Christian Glaßer, Stephen D. Travers Machines that Can Output Empty Words. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Margarita V. Korovina, Oleg V. Kudinov Towards Computability of Higher Type Continuous Data. Search on Bibsonomy CiE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Kerkko Luosto Equicardinality on Linear Orders. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Ramon Jansana Leibniz Filters Revisited. Search on Bibsonomy Stud Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Weakly algebraizable logics, global and local consequence relations, Protoalgebraic logics
25Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Martin Otto 0001 The Logic of Explicitly Presentation-Invariant Circuits. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF generic computation, Circuit complexity, finite model theory
25Marek Zaionc Lambda Representation of Operations Between Fifferent Term Algebras. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Stéphane Grumbach A Paradox in Database Theory. Search on Bibsonomy ICDT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Uschi Heuter First-Order Properties of Trees, Star-Free Expressions, adn Aperiodicity. Search on Bibsonomy STACS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
25Daniel Leivant, Tim Fernando Skinny and Fleshy Failures of Relative Completeness. Search on Bibsonomy POPL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
21Balder ten Cate, Phokion G. Kolaitis Structural characterizations of schema-mapping languages. Search on Bibsonomy ICDT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF data integration, data exchange, schema mapping, definability
21Juha Kontinen, Jakub Szymanik A Remark on Collective Quantification. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Collective quantification, Lindström quantifiers, Second-order generalized quantifiers, Type-shifting, Computational complexity, Definability
21Maarten Marx Queries determined by views: pack your views. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF views, query rewriting, definability, guarded fragment
21Willem J. Blok, Eva Hoogland The Beth Property in Algebraic Logic. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF equivalential logics, Beth definability property, epimorphisms, algebraizable logics, Abstract algebraic logic
21Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin Definable relations and first-order query languages over strings. Search on Bibsonomy J. ACM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF first-order definability, query languages, Strings, expressive power, quantifier elimination
21Johan van Benthem Time, logic and computation. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF first-order definability, period structure, point structure, Completeness, correspondence, event structure, temporal operator, computational semantics, tense logic
21Patrick Bellot Unformly Applicative Structures, A Theory of Computability and Polyadic Functions. Search on Bibsonomy FSTTCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF polyadicity, algorithmic, abstraction, computability, representability, recursive function, definability
16Gabriel Goldberg Strongly compact cardinals and ordinal definability. Search on Bibsonomy J. Math. Log. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
16Benedikt Pago Choiceless Computation and Symmetry: Limitations of Definability. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
16Lucas Bueri, Radu Iosif, Florian Zuleger Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
16Jan Heuer, Christoph Wernhard Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
16Lekshmi Kamal K. Sheela, Manoj Changat, Jeny Jacob The Weak-Toll Function of a Graph: Axiomatic Characterizations and First-Order Non-definability. Search on Bibsonomy CALDAM The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
16Keith A. Kearnes Relative Maltsev definability of some commutator properties. Search on Bibsonomy Int. J. Algebra Comput. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Lothar Sebastian Krapp, Salma Kuhlmann, Moritz Link Definability of Henselian Valuations by conditions on the Value Group. Search on Bibsonomy J. Symb. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Martin Grohe, Daniel Neuen Canonisation and Definability for Graphs of Bounded Rank Width. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Derek Levinson John Steel and Hugh Woodin. HOD as a Core Model. Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257-345. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Juha Kontinen, Yasir Mahmood 0002, Arne Meier, Heribert Vollmer Parameterized Complexity of Weighted Team Definability. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Miguel Campercholi, Mauricio Tellechea, Pablo Ventura Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Zoltan A. Kocsis Proof-theoretic methods in quantifier-free definability. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Pascal Baumann 0001, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche Existential Definability over the Subword Ordering. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Sebastian Maneth, Helmut Seidl, Martin Vu Definability Results for Top-Down Tree Transducers. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Guillermo Badia, Xavier Caicedo, Carles Noguera Frame definability in finitely valued modal logics. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Farmer Schlutzenberg The definability of E in self-iterable mice. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Jeny Jacob, Manoj Changat Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability. Search on Bibsonomy ICLA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Jean-Marie Lagniez, Pierre Marquis Boosting Definability Bipartition Computation Using SAT Witnesses. Search on Bibsonomy JELIA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Alexis Bès, Christian Choffrut Decidability of Definability Issues in the Theory of Real Addition. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
16Haim Horowitz, Saharon Shelah κ-Madness and definability. Search on Bibsonomy Math. Log. Q. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
16Yana Rumenova, Tinko Tinchev Modal Definability: Two Commuting Equivalence Relations. Search on Bibsonomy Logica Universalis The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 727 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
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