Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2024 | On interval logics and stopwatches in model-checking real-time systems | López Chamosa, Marina |
Sep-2024 | Multimodal logics for musical grammars | Asensi Arranz, Roger |
Jul-2024 | Epimorphism Surjectivity in Logic and Algebra | Kurtzhals, Miriam |
Jul-2024 | Inconsistency lemmas and the inconsistency by cases property | Hortelano Martín, Isabel |
Jul-2024 | Rational and Delta expansions of the Nilpotent Minimum Logic | Sempere Camín, Paula |
Jul-2024 | Meet-irreducible elements in the poset of all logics | Muñoz Pérez, MIguel |
Sep-2024 | A Formalization of Kannan’s Circuit Lower Bound in Bounded Arithmetic | Cantero de Arriba, Carlos |
Sep-2024 | Reiterman‘s theorem for pseudovarieties | Liberal Grana, Ion Mikel |
Aug-2024 | Interactive Proofs in Bounded Arithmetics | Soto, Martín |
Jul-2024 | A classification of the set-theoretic total recursive functions of KPl | Fernández Dejean, Anton |
Discover
Subject