Taus Brock-Nannestad

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 5

Top Topics

Datalog Queries

Cut Elimination

Science Teachers

Top Venues

Math. Struct. Comput. Sci.

Sci. Comput. Program.

Publications

Taus Brock-Nannestad, Danko Ilik
An intuitionistic formula hierarchy based on high-school identities. Math. Log. Q. 65 (1) (2019)
Taus Brock-Nannestad
Space-efficient acyclicity constraints: A declarative pearl. Sci. Comput. Program. 164 (2018)
Taus Brock-Nannestad, Nicolas Guenot
Multi-focused cut elimination. Math. Struct. Comput. Sci. 28 (5) (2018)
Taus Brock-Nannestad, Danko Ilik
An Intuitionistic Formula Hierarchy Based on High-School Identities. CoRR (2016)
Taus Brock-Nannestad
Space-Efficient Planar Acyclicity Constraints - A Declarative Pearl. FLOPS (2016)
Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson
Computation in focused intuitionistic logic. PPDP (2015)
Taus Brock-Nannestad, Kaustuv Chaudhuri
Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations. TABLEAUX (2015)
Taus Brock-Nannestad, Nicolas Guenot
Focused Linear Logic and the λ-calculus. MFPS (2015)
Taus Brock-Nannestad, Nicolas Guenot
Cut Elimination in Multifocused Linear Logic. LINEARITY (2014)
Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann
Hybrid Extensions in a Logical Framework. LFMTP (2014)
Taus Brock-Nannestad, Carsten Schürmann
Truthful Monadic Abstractions. IJCAR (2012)
Taus Brock-Nannestad, Carsten Schürmann
Focused Natural Deduction. LPAR (Yogyakarta) (2010)