The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1956-1991 (15) 1992-1996 (15) 1997-2001 (18) 2002-2004 (17) 2005-2009 (16) 2010-2015 (15) 2016-2021 (19) 2022-2023 (5)
Publication types (Num. hits)
article(60) inproceedings(57) phdthesis(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 16 keywords

Results
Found 120 publication records. Showing 120 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
76Marc Bezem An Improved Extensionality Criterion for Higher-Order Logic Programs. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
69Christoph Benzmüller Extensional Higher-Order Paramodulation and RUE-Resolution. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
64Pierluigi Minari Analytic combinatory calculi and the elimination of transitivity. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Extensionality, Elimination of transitivity, Equational logic, Combinatory logic
53Teng Ping, He Ping Characteristics of Network Non-optimum and Extensionality Security Mode. Search on Bibsonomy IITSI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF non-optimum system, non-optimum and security, extensionality networks function, self-organization approach, network security
47Martina Danková, Irina Perfilieva Logical approximation II. Search on Bibsonomy Soft Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Disjunctive and conjunctive normal forms, BL-logic, Extensionality, Fuzzy logic, Approximation
47Alessandro Armando, Silvio Ranise, Michaël Rusinowitch Uniform Derivation of Decision Procedures by Superposition. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Arrays with Extensionality, Term Rewriting, Decision Procedures, Homomorphism, Automated Deduction, Lists, Superposition, Equational Logic
41Shunsuke Yatabe, Hiroyuki Inaoka Vagueness and Extensionality. Search on Bibsonomy FSKD (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Ulrich Kohlenbach A note on Spector's quantifier-free rule of extensionality. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03F07, 03F10, 03F50, 03F35
35Thorsten Altenkirch, Conor McBride, Wouter Swierstra Observational equality, now! Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF type theory, equality
35Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo Decidability results for sets with atoms. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
35Peter Höfner, Bernhard Möller, Kim Solin Omega Algebra, Demonic Refinement Algebra and Commands. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001 On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. Search on Bibsonomy FroCoS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35M. Randall Holmes Paradoxes in Double Extension Set Theories. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF double extension set theory, Quine ordered pair, universal set
35Joëlle Despeyroux, André Hirschowitz Higher-Order Abstract Syntax with Induction in Coq. Search on Bibsonomy LPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
24Francesco Dagnino, Fabio Pasquali Quotients and Extensionality in Relational Doctrines. Search on Bibsonomy FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Dominik Pichler, Xavier Parent Perspectival Obligation and Extensionality in an Alethic-Deontic Setting. Search on Bibsonomy DEON The full citation details ... 2023 DBLP  BibTeX  RDF
24Benno van den Berg, Robert Paßmann Converse extensionality and apartness. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Niki Vazou, Michael Greenberg 0002 How to safely use extensionality in Liquid Haskell. Search on Bibsonomy Haskell The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Loïc Pujet Computing with Extensionality Principles in Type Theory. (Calculer avec des Principes d'Extensionnalité en Théorie des Types). Search on Bibsonomy 2022   RDF
24Gil Sagi Extensionality and logicality. Search on Bibsonomy Synth. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Jeroen Smid Extensionality for fusions and pluralities. Search on Bibsonomy Synth. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Niki Vazou, Michael Greenberg 0002 Functional Extensionality for Refinement Types. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Benno van den Berg, Robert Paßmann Converse extensionality and apartness. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Jinming Fang, Yueli Yue Extensionality and E-connectedness in the category of ⊤-convergence spaces. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic Abstract extensionality: on the properties of incomplete abstract interpretations. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Hans-Peter Leeb A State-of-Affairs-Semantic Solution to the Problem of Extensionality in Free Logic. Search on Bibsonomy J. Philos. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Arnon Avron, Anna Zamansky Paraconsistency, self-extensionality, modality. Search on Bibsonomy Log. J. IGPL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Arnold Koslow The modality and non-extensionality of the quantifiers. Search on Bibsonomy Synth. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Daniil Frumin, Benno van den Berg A homotopy-theoretic model of function extensionality in the effective topos. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Michele Basaldella Lambda Congruences and Extensionality. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
24Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Dionís Boixader, Jordi Recasens Extensionality with Respect to Indistinguishability Operators. Search on Bibsonomy Int. J. Uncertain. Fuzziness Knowl. Based Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Zlatan Damnjanovic Mutual interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Daniil Frumin, Benno van den Berg A homotopy-theoretic model of function extensionality in the effective topos. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
24Philip Johnson-Freyd, Paul Downen, Zena M. Ariola Call-by-name extensionality and confluence. Search on Bibsonomy J. Funct. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Fabio Pasquali Remarks on the Tripos To Topos Construction: Comprehension, Extensionality, Quotients and Functional-Completeness. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Robin Adams 0001, Marc Bezem, Thierry Coquand A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Alberto Casagrande, Carla Piazza, Alberto Policriti Is Hyper-extensionality Preservable Under Deletions of Graph Elements? Search on Bibsonomy ICTCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24William J. Greenberg Extensionality, Proper Classes, and Quantum Non-Individuality. Search on Bibsonomy Comput. Sci. J. Moldova The full citation details ... 2015 DBLP  BibTeX  RDF
24Antonín Dvorák, Michal Holcapek Type 〈1, 1〉 fuzzy quantifiers determined by fuzzy measures on residuated lattices. Part III. Extension, conservativity and extensionality. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Giulio Manzonetto, Domenico Ruoppolo Relational Graph Models, Taylor Expansion and Extensionality. Search on Bibsonomy MFPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Mark Sioen, Tom Vroegrijk Cartesian Closedness, Extensionality and Bornological Universes. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Andrew Polonsky Extensionality of lambda-. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
24Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu Hyper-Extensionality and One-Node Elimination on Membership Graphs. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
24Andrew Polonsky Extensionality of lambda-*. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Maria Semeniuk-Polkowska, Lech Polkowski On a Notion of Extensionality for Artifacts. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Dirk Draheim On the Trade-Off Between Flexibility and Extensionality in the Decomposition of Business Process Models. Search on Bibsonomy ERP Future The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Lech Polkowski, Maria Semeniuk-Polkowska On a Notion of Extensionality for Artifacts. Search on Bibsonomy CS&P The full citation details ... 2012 DBLP  BibTeX  RDF
24Manfred Schmidt-Schauß, David Sabel, Elena Machkasova Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Kentaro Sato The strength of extensionality II - Weak weak set theories without infinity. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Zach Weber Extensionality and Restriction in Naive Set Theory. Search on Bibsonomy Stud Logica The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Kentaro Sato The strength of extensionality I - weak weak set theories with infinity. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Luís Caires, Hugo Torres Vieira Extensionality of Spatial Observations in Distributed Systems. Search on Bibsonomy EXPRESS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Benedetto Intrigila, Richard Statman Some results on extensionality in lambda calculus. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Nicolas Oury Extensionality in the Calculus of Constructions. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Christoph Benzmüller, Chad E. Brown, Michael Kohlhase Higher-order semantics and extensionality. Search on Bibsonomy J. Symb. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Martina Danková Generalized extensionality of fuzzy relations. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Sanjiang Li, Mingsheng Ying Extensionality of the RCC8 Composition Table. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2003 DBLP  BibTeX  RDF
24Yael Sharvit Trying to be Progressive: the Extensionality of Try. Search on Bibsonomy J. Semant. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Roland Hinnion, Thierry Libert Positive abstraction and extensionality. Search on Bibsonomy J. Symb. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Olivier Esser On the axiom of extensionality in the positive set theory. Search on Bibsonomy Math. Log. Q. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Martina Danková Extensionality and continuity. Search on Bibsonomy EUSFLAT Conf. The full citation details ... 2003 DBLP  BibTeX  RDF
24Silvio Valentini Extensionality Versus Constructivity. Search on Bibsonomy Math. Log. Q. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Kwangkeun Yi, Hyunjun Eo Static Extensionality Checking for Lambda-Definable Functions Over Lattices. Search on Bibsonomy APLAS The full citation details ... 2002 DBLP  BibTeX  RDF
24Frank Pfenning Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory. Search on Bibsonomy LICS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Davide Sangiorgi Extensionality and Intensionality of the Ambient Logics. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Simona Ronchi Della Rocca Operational semantics and extensionality. Search on Bibsonomy PPDP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Marc Bezem Extensionality of Simply Typed Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
24Christoph Benzmüller Equality and extensionality in automated higher order theorem proving. Search on Bibsonomy 1999   RDF
24Dionís Boixader, Joan Jacas Extensionality based approximate reasoning. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Daniel Dzierzgowski Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality. Search on Bibsonomy Stud Logica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Arthur H. M. ter Hofstede, Theo P. van der Weide Deriving Identity from Extensionality. Search on Bibsonomy Int. J. Softw. Eng. Knowl. Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Michael Gavrilovich Cut Elimination for the Second Order Propositional Logic with Hilbert's epsilon-symbol, Extensionality, and Full Comprehension. Search on Bibsonomy LFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
24Pierre Valarcher Intensionality versus Extensionality and Primitive Recursion. Search on Bibsonomy ASIAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
24Adolfo Piperno Normalization and Extensionality (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
24Willard Van Orman Quine Promoting extensionality. Search on Bibsonomy Synth. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
24Roland Hinnion Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
24Adolfo Piperno, Simona Ronchi Della Rocca Type Inference and Extensionality Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
24Martin Hofmann 0001 Elimination of Extensionality in Martin-Löf Type Theory. Search on Bibsonomy TYPES The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
24Brian T. Howard Fixed points and extensionality in typed functional programming languages. Search on Bibsonomy 1992   RDF
24Pierre-Louis Curien, Giorgio Ghelli Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=. Search on Bibsonomy TACS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
24Roland Hinnion Extensionality in Zermelo-Fraenkel Set Theory. Search on Bibsonomy Math. Log. Q. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
24Lloyd Humberstone Extensionality in sentence position. Search on Bibsonomy J. Philos. Log. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
24Mitsuru Yasuhara Extensionality in Bernays set theory. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
24Michael von Rimscha Universality and strong extensionality. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
24R. Hindley, G. Longo Lambda-Calculus Models and Extensionality. Search on Bibsonomy Math. Log. Q. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
24Philip Hugly Reflections on an extensionality theorem. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
24Karel Lambert Predication and extensionality. Search on Bibsonomy J. Philos. Log. The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
24Peter B. Andrews General Models and Extensionality. Search on Bibsonomy J. Symb. Log. The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
24Ross T. Brady The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
24Ross T. Brady The consistency of the axioms of abstraction and extensionality in a three-valued logic. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1971 DBLP  DOI  BibTeX  RDF
24Robin O. Gandy On the Axiom of Extensionality, Part II. Search on Bibsonomy J. Symb. Log. The full citation details ... 1959 DBLP  DOI  BibTeX  RDF
24Robin O. Gandy On the Axiom of Extensionality-Part I. Search on Bibsonomy J. Symb. Log. The full citation details ... 1956 DBLP  DOI  BibTeX  RDF
17Andreas Lochbihler Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Arnon Avron A Framework for Formalizing Set Theories Based on the Use of Static Set Terms. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández Rewriting and Call-Time Choice: The HO Case. Search on Bibsonomy FLOPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Christoph Benzmüller, Chad E. Brown, Michael Kohlhase Cut-Simulation in Impredicative Logics. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Philippe Besnard Remedying Inconsistent Sets of Premises. Search on Bibsonomy ECSQARU The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Ulrich Kohlenbach Proof Mining in Functional Analysis. Search on Bibsonomy CiE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 120 (100 per page; Change: )
Pages: [1][2][>>]
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