Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by PEDRO V. SILVA
An Application of First-Order Logic to the Study of Recognizable Languages
International Journal of Algebra and Computation
Mathematics
Related publications
Geometrisation of First-Order Logic
Bulletin of Symbolic Logic
Philosophy
Logic
HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Structure of Recognizable Languages of Dependence Graphs
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
First-Order Dynamic Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Context-Sensitive String Languages and Recognizable Picture Languages
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Semigroups Underlying First-Order Logic
Memoirs of the American Mathematical Society
Mathematics
Applied Mathematics
Complexity of Existential Positive First-Order Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Fixed-Point Extensions of First-Order Logic
Annals of Pure and Applied Logic
Logic
CIFOL: Case-Intensional First Order Logic
Journal of Philosophical Logic
Philosophy
