- Finitary Set Theory
2009/07/01 by Laurence Kirby · 1 citation
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Finitary #Adjunction #Mathematics #Schema (genetic algorithms) #Algebra over a field #Primitive recursive function #Set (abstract data type) #Basis (linear algebra) #Operator (biology) #Discrete mathematics #Computer science #Pure mathematics #Programming language
- Finitary PCF is not decidable
2001/09/01 by Ralph Loader · 1 citation
Computer Science · Mathematics · #Abstraction #Algebra over a field #Combinatorics #Computability, Logic, AI Algorithms #Conjecture #Decidability #Discrete mathematics #Epistemology #Finitary #Logic, programming, and type systems #Mathematics #Philosophy #Pure mathematics #Representation (politics) #Undecidable problem #semigroups and automata theory
- Best solving modal equations
2000/04/01 by Silvio Ghilardi · 5 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Algebra over a field #Applied mathematics #Artificial intelligence #Computer science #Finitary #Inference #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Modal #Modal logic #Normal modal logic #Programming language #Pure mathematics #Type (biology) #Unification
- Kripke Logical Relations and PCF
1995/07/01 by Peter W. O’Hearn, Jon G. Riecke · 4 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Finitary #Abstraction #Invariant (physics) #Computer science #Mathematics #Discrete mathematics #Philosophy #Epistemology
- Frame Matroids and Biased Graphs
1994/05/01 by Thomas Zasĺavsky, Thomas Zaslavsky · 1 citation
Biochemistry, Genetics and Molecular Biology · Engineering · Mathematics · #Combinatorics #Discrete mathematics #Dual graph #Finitary #Graph #Graphic matroid #Mathematics #Matroid #Matroid partitioning #Melanoma and MAPK Pathways #Planar graph #graph theory and CDMA systems
- Partitions of products
1981/01/01 by David Pincus, J. D. Halpern · 1 citation
Mathematics · Computer Science · #Advanced Topology and Set Theory #Functional Equations Stability Results #Advanced Algebra and Logic #Finitary #Ultrafilter #Mathematics #Forcing (mathematics) #Product (mathematics) #Infinite product #Discrete mathematics #Pure mathematics #Combinatorics #Mathematical analysis
- The structure of finitary permutation groups
1976/12/01 by Peter Neumann, Peter M. Neumann · 6 citations
Mathematics · #Advanced Topics in Algebra #Combinatorics #Finitary #Finite Group Theory Research #Mathematics #Permutation (music) #Permutation group #Pure mathematics #Rings, Modules, and Algebras