Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by W. Słowikowski
On the Theory of Inductive Families
Studia Mathematica
Mathematics
Related publications
Constructing Inductive-Inductive Types in Cubical Type Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Inductive Reasoning in Social Choice Theory
Journal of Logic, Language and Information
Linguistics
Philosophy
Computer Science
Language
Inductive Game Theory and the Dynamics of Animal Conflict
PLoS Computational Biology
Molecular Neuroscience
Evolution
Ecology
Genetics
Behavior
Molecular Biology
Systematics
Simulation
Cellular
Computational Theory
Mathematics
Modeling
Inductive Game Theory: A Basic Scenario
The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions
Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science
Local Constructive Set Theory and Inductive Definitions
Foundational Theories of Classical and Constructive Mathematics
Reasoning About Object-Based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Non-Inductive Current Drive in Toroidal System 2. 2. Theory of Non-Inductive Current Drive. 2-3 Neoclassical Effects on Current Drive.
Kakuyūgō kenkyū
Inductive Game Theory: A Simulation Study of Learning a Social Situation
