Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Miquel Bofill
New Complexity Results for Łukasiewicz Logic
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
The RANTANPLAN Planner: System Description
Knowledge Engineering Review
Artificial Intelligence
Software
Related publications
Complexity Results for First-Order Two-Variable Logic With Counting
SIAM Journal on Computing
Mathematics
Computer Science
Imprecise Probabilities, Bets and Functional Analytic Methods in Łukasiewicz Logic
Forum Mathematicum
Mathematics
Applied Mathematics
A General View on Normal Form Theorems for Łukasiewicz Logic With Product
Duality, Projectivity, and Unification in Łukasiewicz Logic and MV-algebras
Annals of Pure and Applied Logic
Logic
Łukasiewicz Logics for Cooperative Games
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Proof Complexity of Propositional Default Logic
Archive for Mathematical Logic
Philosophy
Logic
Proof Complexity of Propositional Default Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Normal Form Results for Default Logic
Computational Complexity of Input/Output Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
