Harold Schellinx

Available identifiers

zbMath Open schellinx.haroldMaRDI QIDQ1345900

List of research outcomes

Publication	Date of Publication	Type
Strong normalization for all-style LKtq	2019-01-10	Paper
Computational isomorphisms in classical logic	2003-07-29	Paper
SN and CR for free-style LKtq: linear decorations and simulation of normalization	2002-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q2702566	2001-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q4222844	1998-12-14	Paper
On the Jordan-Hölder decomposition of proof nets	1998-09-07	Paper
A new deconstructive logic: linear logic	1998-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q5688803	1997-04-21	Paper
On the linear decoration of intuitionistic derivations	1995-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q4842975	1995-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4282569	1994-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4282602	1994-03-17	Paper
Some Syntactical Observations on Linear Logic	1992-06-27	Paper
Isomorphisms and nonisomorphisms of graph models	1991-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Harold Schellinx