Artículos con órdenes de acceso público - Norbert PreiningMás información
Disponibles en algún lugar: 7
SAT in Monadic Gödel Logics: a borderline between decidability and undecidability
M Baaz, A Ciabattoni, N Preining
Logic, Language, Information and Computation: 16th International Workshop …, 2009
Órdenes: Austrian Science Fund
Quantifier Elimination for quantified propositional logics on Kripke frames of type!
M Baaz, N Preining
J Log Comput 18 (4), 649-720, 2008
Órdenes: Austrian Science Fund
On the classification of first order Gödel logics
M Baaz, N Preining
Annals of Pure and Applied Logic 170 (1), 36-57, 2019
Órdenes: Austrian Science Fund
First-order satisfiability in Gödel logics: an NP-complete fragment
M Baaz, A Ciabattoni, N Preining
Theoretical computer science 412 (47), 6612-6623, 2011
Órdenes: Austrian Science Fund
Foundation of computer (algebra) analysis systems: semantics, logic, programming, verification
S Park, F Brauße, P Collins, S Kim, M Konecný, G Lee, N Müller, ...
Órdenes: German Research Foundation, European Commission
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
S Park, F Brauße, P Collins, SY Kim, M Konečný, G Lee, N Müller, ...
Logical Methods in Computer Science 20, 2024
Órdenes: European Commission
Gödel logics and the fully boxed fragment of FO-LTL
M Baaz, N Preining
Órdenes: Austrian Science Fund
La información de publicación y financiación se determina de forma automática mediante un programa informático