Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
325 authors found
quering by "Extensionality"
.
Showing
the first 25
sort by ONE Index.
|
887
One Index
|
Cohen, Larry PhD 0000-0002-0721-8980 |
345 docs (1949 - 2024)
Content (measure theory) , Philosophy of language , Philosophy of Science , Argument (complex analysis) , Assertion |
|
880
One Index
|
Birkedal, Lars PhD 0000-0003-1320-0098 |
248 docs (1993 - 2024)
Separation Logic , Temporal Logic , Nonmonotonic Reasoning , Type theory , Constraint Logic Programming |
|
870
One Index
|
Appel, Andrew PhD 0000-0001-6009-0325 |
360 docs (1983 - 2024)
Programming Language Semantics , Separation Logic , Model Checking , Soundness , Formal Verification |
|
869
One Index
|
Coquand, Thierry PhD 0000-0002-5429-5153 |
297 docs (1985 - 2024)
Constructive , Type theory , Type Inference , Nonmonotonic Reasoning , Description Logics |
|
848
One Index
|
Gratzer, Daniel PhD 0000-0003-1944-0789 |
29 docs (2019 - 2024)
Type theory , Nonmonotonic Reasoning , Type Inference , Extensionality , Modalities |
|
847
One Index
|
Polonsky, Andrew PhD 0000-0003-4515-9827 |
111 docs (2011 - 2024)
Material Characterization , Characterization (materials science) , Coinduction , Metal 3D Printing , Nonmonotonic Reasoning |
|
847
One Index
|
Ahmed, Amal PhD 0000-0001-7424-572X |
110 docs (2002 - 2024)
Programming Language Semantics , Soundness , Temporal Logic , Model Checking , Type theory |
|
823
One Index
|
Thorsten, Altenkirch PhD 0000-0002-6582-5025 |
114 docs (1993 - 2024)
Type theory , Type Inference , Nonmonotonic Reasoning , Programming Language Semantics , Coinduction |
|
817
One Index
|
Kapur, Deepak PhD 0000-0003-2464-2895 |
307 docs (1979 - 2024)
Unification , Model Checking , Quantifier elimination , Grรถbner basis , Polynomial Systems |
|
816
One Index
|
Kanade, Shashank PhD 0000-0002-4052-8411 |
53 docs (2014 - 2024)
Vertex operator algebra , Modular Tensor Categories , Modular Forms , Ramanujan-Type Formulas , Operator (biology) |
|
815
One Index
|
Abel, Andreas Martin PhD 0000-0003-0420-4492 |
152 docs (1998 - 2024)
Type theory , Normalization (sociology) , Type Inference , Model Checking , Nonmonotonic Reasoning |
|
810
One Index
|
Tholen, Walter PhD 0000-0003-2167-9449 |
191 docs (1974 - 2024)
Morphism , Closure (psychology) , Monad (category theory) , Categorical variable , Closure operator |
|
807
One Index
|
Harper, Robert PhD 0000-0002-9400-2941 |
410 docs (1904 - 2024)
Type Inference , Type theory , Programming Language Semantics , Model Checking , Description Logics |
|
802
One Index
|
Varzi, Achille PhD 0000-0001-9410-0405 |
242 docs (1988 - 2023)
Mereology , Nonmonotonic Reasoning , Vagueness , Ontology , Perception |
|
802
One Index
|
Marques, Teresa PhD 0000-0002-0161-9142 |
50 docs (1993 - 2024)
Contextualism , Presupposition , Argument (complex analysis) , Philosophy of language , Perception |
|
799
One Index
|
Greenberg, Michael PhD 0000-0003-0014-7670 |
293 docs (1938 - 2024)
HIV , Enfuvirtide , Soundness , Antiretroviral Therapy , Immune Responses |
|
797
One Index
|
Calosi, Claudio PhD 0000-0001-5011-6296 |
72 docs (2007 - 2024)
Mereology , Quantum Interpretations , Argument (complex analysis) , Philosophy of language , Indeterminacy (philosophy) |
|
797
One Index
|
Jayaram, Balasubramaniam PhD 0000-0001-7370-3821 |
113 docs (2002 - 2024)
Intuitionistic Fuzzy Sets , Fuzzy Logic , Fuzzy Rule-Based Systems , Mathematical Fuzzy Logic , Fuzzy Logic Systems |
|
795
One Index
|
Cotnoir, Aaron PhD 0000-0003-4528-7570 |
40 docs (2008 - 2023)
Mereology , Extensionality , Nonmonotonic Reasoning , Universalism , Pluralism (philosophy) |
|
791
One Index
|
Jouannaud, Jean-Pierre PhD 0000-0003-4790-9927 |
178 docs (1975 - 2024)
Confluence , Nonmonotonic Reasoning , Constraint Logic Programming , Unification , Type Inference |
|
789
One Index
|
Pavlovic, Dusko PhD 0000-0002-9855-6861 |
196 docs (1990 - 2024)
Categorical variable , Computability , Security Protocols , Quantum Interpretations , Description Logics |
|
789
One Index
|
Woleลski, Jan PhD 0000-0001-7676-7839 |
501 docs (1982 - 2024)
Computational linguistics , Description Logics , Deontic logic , Logical Empiricism , Philosophy of language |
|
778
One Index
|
Douglas Suth Bridges PhD |
272 docs (1976 - 2023)
Constructive , Computability , Constructive proof , Modal Logics , Preference relation |
|
778
One Index
|
Rathjen, Michael PhD 0000-0003-1699-4778 |
195 docs (1990 - 2024)
Constructive , Constructive set theory , ZermeloโFraenkel set theory , Realizability , Nonmonotonic Reasoning |
|
778
One Index
|
Spitters, Bas PhD 0000-0002-2802-0973 |
103 docs (2000 - 2024)
Constructive , Type theory , Topos theory , Proof assistant , Smart contract |
