Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–60) DECIDABILITY IN LOCAL AND GLOBAL FIELDS Jochen Koenigsmann

Source URL: eta.impa.br

• Algebra
• Abstract algebra
• Mathematics
• Field theory
• Algebraic number theory
• Model theory
• Algebraic structures
• Rational point
• Local field
• Elliptic curve
• AxKochen theorem
• Field

Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematical optimization
• Operations research
• Stochastic game
• Nash equilibrium
• Markov chain
• Determinacy
• Stochastic process
• Mathematics
• Analysis
• Multi-objective optimization

On axiomatization and polytime decidability of strictly positive fragment of K4.3 M. Svyatlovsky Moscow Institute of Physics and Technology Wormshop 2017

Source URL: wrm17.mi.ras.ru

On the Decidability Status of Reachability and Coverability in Graph Transformation Systems∗ Nathalie Bertrand1 , Giorgio Delzanno2 , Barbara König3 , Arnaud Sangnier4 , and Jan Stückrath3 1 2

Source URL: people.rennes.inria.fr

Senior Thesis in Mathematics Infiniteness and Linear Temporal Logic: Soundness, Completeness, & Decidability

Source URL: www.cs.pomona.edu

Diophantine approximation, scalar multiplication and decidability Philipp Hieronymi University of Illinois at Urbana-Champaign Colloquium Logicum 2016

Source URL: www.math.uni-hamburg.de

On Decidability of Prebisimulation for Timed Automata Shibashis Guha, Chinmay Narayan, S. Arun-Kumar Department of Computer Science and Engineering, Indian Institute of Technology, Delhi.

Source URL: www.cse.iitd.ernet.in

Inspiration Hilbert Lattices, axiomatization, and decidability Dimension in QL(LH n ) Finite submodel property Quantum logic on finite dimensional Hilbert

Source URL: www.iub.edu

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms Chan Le Duc1 and Myr

Source URL: ceur-ws.org

S. Demri, R. Lazi´ c and D. Nowak On the freeze quantifier in constraint LTL: decidability and complexity

Source URL: www.lsv.ens-cachan.fr