Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Piotr Zgliczynski
Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Related publications
Theory of Successive Field-Induced First Order Transitions in Quasi-Two Dimensional Conductors
Journal of the Physical Society of Japan
Astronomy
Physics
Completeness and Decidability Results for First-Order Clauses With Indices
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Ground-Negative Fragment of First-Order Logic Is -Complete
Journal of Symbolic Logic
Philosophy
Logic
First Order Theory of Permutation Groups
Israel Journal of Mathematics
Mathematics
The First Order Theory of $N$-Colorable Graphs
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Decidability of Conversion for Type Theory in Type Theory
Proceedings of the ACM on Programming Languages
The Logic of Propagation Strategies: Axiomatizing a Fragment of Organizational Ecology in First-Order Logic
Organization Science
Management
Organizational Behavior
Human Resource Management
Strategy
Innovation
Management of Technology
The Hanf Number of the First Order Theory of Banach Spaces
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
The First and Second Order Equations of the Quantum Theory
Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character
