Taus Brock-Nannestad

According to our database, Taus Brock-Nannestad authored at least 11 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2019

An intuitionistic formula hierarchy based on high-school identities.

Taus Brock-Nannestad, Danko Ilik

Math. Log. Q., 2019

2018

Space-efficient acyclicity constraints: A declarative pearl.

Taus Brock-Nannestad

Sci. Comput. Program., 2018

Multi-focused cut elimination.

Taus Brock-Nannestad, Nicolas Guenot

Math. Struct. Comput. Sci., 2018

2016

Space-Efficient Planar Acyclicity Constraints - A Declarative Pearl.

Taus Brock-Nannestad

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015

Focused Linear Logic and the λ-calculus.

Taus Brock-Nannestad, Nicolas Guenot

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations.

Taus Brock-Nannestad, Kaustuv Chaudhuri

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Computation in focused intuitionistic logic.

Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

2014

Cut Elimination in Multifocused Linear Logic.

Taus Brock-Nannestad, Nicolas Guenot

Proceedings of the Proceedings Third International Workshop on Linearity, 2014

Hybrid Extensions in a Logical Framework.

Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

2012

Truthful Monadic Abstractions.

Taus Brock-Nannestad, Carsten Schürmann

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2010

Focused Natural Deduction.

Taus Brock-Nannestad, Carsten Schürmann

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010