Search results
From MaRDI portal
- 2009-08-03 Paper Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA 2007-10-11 Paper Algorithmic Correspondence and Completeness...10 bytes (13 words) - 10:10, 6 October 2023
- µ-calculus 2023-07-06 Paper Correspondence theory for generalized modal algebras 2023-06-02 Paper Sahlqvist correspondence theory for second-order propositional...10 bytes (13 words) - 18:19, 24 September 2023
- conditional logics: semantic analysis and proof theory 2022-06-13 Paper Unified inverse correspondence for DLE-Logics 2022-03-17 Paper Slanted Canonicity...10 bytes (15 words) - 11:11, 6 October 2023
- Paper Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}...10 bytes (14 words) - 01:45, 10 December 2023
- 2008-03-03 Paper Region-based theory of discrete spaces: A proximity approach 2007-10-12 Paper Algorithmic correspondence and completeness in modal logic...10 bytes (15 words) - 00:08, 11 December 2023
- analysis and proof theory 2022-06-13 Paper Algorithmic correspondence and analytic rules 2022-03-26 Paper Unified inverse correspondence for DLE-Logics 2022-03-17...10 bytes (13 words) - 18:19, 24 September 2023
- correlators in the AdS/CFT correspondence 2002-08-05 Paper Ghost structure and closed strings in vacuum string field theory 2002-01-01 Paper The operator...10 bytes (13 words) - 19:40, 24 September 2023
- mardi4nfdi.de/entity/Q5711876 2005-12-08 Paper Forcing in Proof Theory 2005-05-24 Paper Number theory and elementary arithmetic† 2004-06-10 Paper Transfer principles...10 bytes (15 words) - 15:04, 10 December 2023
- ALBA-inequalities 2017-05-17 Paper Algebraic modal correspondence: Sahlqvist and beyond 2016-06-22 Paper Algorithmic correspondence for intuitionistic modal mu-calculus...10 bytes (13 words) - 08:10, 7 October 2023
- de/entity/Q5884955 2023-03-24 Paper Algorithmic correspondence and analytic rules 2022-03-26 Paper Unified inverse correspondence for DLE-Logics 2022-03-17 Paper...10 bytes (15 words) - 11:32, 14 March 2024
- Paper Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}...10 bytes (13 words) - 00:01, 11 December 2023
- resource sharing’ theory of working memory 2018-04-30 Paper Correspondence and Independence of Numerical Evaluations of Algorithmic Information Measures...10 bytes (15 words) - 09:46, 24 September 2023
- of identity-based identification schemes 2008-11-18 Paper Algorithmic Cooperative Game Theory 2008-10-17 Paper Double Auction in Two-Level Markets 2008-09-30...10 bytes (14 words) - 01:16, 9 December 2023
- Subfield Lattices 2016-04-25 Paper On the Galois correspondence theorem in separable Hopf Galois theory 2016-03-04 Paper Non-isomorphic Hopf Galois structures...10 bytes (14 words) - 19:54, 24 September 2023
- partitions of chordal graphs 2006-03-20 Paper Database Theory - ICDT 2005 2005-09-13 Paper Database Theory - ICDT 2005 2005-09-13 Paper Automata, Languages and...10 bytes (15 words) - 02:06, 9 December 2023
- 2023-12-12 Paper Systems of equations over a finite set of words and automata theory 2023-08-14 Paper Regularity of k-Abelian Equivalence Classes of Fixed Cardinality...10 bytes (15 words) - 11:00, 9 December 2023
- 2024-11-25 Paper A correspondence between the time and space complexity 2023-11-02 Paper THE RECOGNITION COMPLEXITY OF DECIDABLE THEORIES 2022-07-05 Paper...10 bytes (15 words) - 10:57, 7 October 2023
- 1993-04-01 Paper The axiomatization of randomness 1990-01-01 Paper Algorithmic information theory 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3818212...10 bytes (17 words) - 23:33, 8 December 2023
- cdh-cohomology and negative \(K\)-theory 2009-07-14 Paper The 𝐾-theory of toric varieties 2009-05-27 Paper Bivariant algebraic K-theory 2008-05-08 Paper Comparison...10 bytes (15 words) - 23:12, 9 December 2023
- Mechanisms under Distributional Constraints 2019-10-15 Paper Perron-Frobenius Theory in Nearly Linear Time: Positive Eigenvectors, M-matrices, Graph Kernels...10 bytes (13 words) - 04:47, 12 December 2023
