Research Output per year

## Personal profile

### Research interests

My research is in the area of logic and proof theory, and has focused on canonical graphical representations of proof, commonly known as proof nets.

## Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- 2 Similar Profiles

Proof Nets
Mathematics

Linear Logic
Mathematics

Unit
Mathematics

Multiplicative
Mathematics

Lambda Calculus
Mathematics

Strong Normalization
Mathematics

Equivalence
Mathematics

Logic
Mathematics

##
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.

## Research Output 2010 2016

1
Citations

### Conflict nets: efficient locally canonical MALL proof nets

Hughes, D. & Heijltjes, W. 2 Jul 2016*Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016.*New York, U. S. A.: Association for Computing Machinery, p. 437-446 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

Proof Nets

Linear Logic

Multiplicative

Unit

Conflict

### Proof equivalence in MLL is PSPACE-complete

Heijltjes, W. & Houston, R. 2 Mar 2016 In : Logical Methods in Computer Science. 12, 1Research output: Contribution to journal › Article

Open Access

File

Hardness

Equivalence

Proof Nets

Unit

Linear Logic

### Proof nets and semi-*-autonomous categories

Heijltjes, W. & Strassburger, L. 1 Jun 2016 In : Mathematical Structures in Computer Science. 26, 5, p. 789-828 40 p.Research output: Contribution to journal › Article

Proof Nets

Linear Logic

Stars

Star

Multiplicative

2
Citations

### Complexity bounds for sum-product logic via additive proof nets and Petri nets

Heijltjes, W. & Hughes, D. 2015*Proceedings of the 30th ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015.*IEEE, p. 80-91 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

File

Proof Nets

Petri Nets

Linear Logic

Logic

Proof Search

9
Citations

### No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete

Heijltjes, W. & Houston, R. 2014*Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014.*New York : Association for Computing Machinery, 10 p. 50

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

Proof Nets

Equivalence

Unit

Linear Logic

Word problem