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