Richard McKinley

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2012

5 Richard McKinley: Canonical Proof nets for Classical Logic CoRR abs/1203.4084: (2012)

2010

4 Richard McKinley: Expansion Nets: Proof-Nets for Propositional Classical Logic. LPAR (Yogyakarta) 2010: 535-549

3 Richard McKinley: Proof nets for Herbrand's Theorem CoRR abs/1005.3986: (2010)

2008

2 Kai Brünnler, Richard McKinley: An Algorithmic Interpretation of a Deep Inference System. LPAR 2008: 482-496

1 Richard McKinley: Soft Linear Set Theory. J. Log. Algebr. Program. 76(2): 226-245 (2008)

	2012
5		Richard McKinley: Canonical Proof nets for Classical Logic CoRR abs/1203.4084: (2012)
	2010
4		Richard McKinley: Expansion Nets: Proof-Nets for Propositional Classical Logic. LPAR (Yogyakarta) 2010: 535-549
3		Richard McKinley: Proof nets for Herbrand's Theorem CoRR abs/1005.3986: (2010)
	2008
2		Kai Brünnler, Richard McKinley: An Algorithmic Interpretation of a Deep Inference System. LPAR 2008: 482-496
1		Richard McKinley: Soft Linear Set Theory. J. Log. Algebr. Program. 76(2): 226-245 (2008)

Coauthor Index

1 Kai Brünnler [2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page