Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Vincent Padovani
Relative Definability and Models of Unary PCF
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Random Unary Predicates: Almost Sure Theories and Countable Models
Random Structures and Algorithms
Mathematics
Applied Mathematics
Computer Graphics
Computer-Aided Design
Software
On Safety of Unary and Non-Unary IFP-operators
Modeling and Analysis of Information Systems
Naturality and Definability, I
Journal of the London Mathematical Society
Mathematics
Limited Automata and Unary Languages
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Definability and Almost Disjoint Families
Advances in Mathematics
Mathematics
Homomorphisms of Mono-Unary Algebras
Pacific Journal of Mathematics
Mathematics
Standard Unary Algebras
Games and Definability for System F
Definability in the Lattice of Ring Varieties
Pacific Journal of Mathematics
Mathematics
