Taus Brock-Nannestad

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