Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Logic
Linear Tense Logics of Increasing Sets
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Modal Theorem Proving: An Equational Viewpoint
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Fixed-Point Logics, Generalized Quantifiers, and Oracles
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Uncontroversial Default Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Linearization of the Lambda-Calculus and Consequences
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A First-Order Conditional Logic With Qualitative Statistical Semantics
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Preservation of Interpolation Features by Fibring
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory With Records
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Probabilistic -Calculus and Quantitative Program Analysis
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
‹
53
54
55
56
57
58
59
›
