Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization-Reference-Cited by-同舟云学术

Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization

Published:2009 Issue: Volume: Page:84-98
ISSN:0302-9743
Container-title:Logic, Language, Information and Computation
language:
Short-container-title:

Author:

Alves Gleifer V.,de Oliveira Anjolina G.,de Queiroz Ruy

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02261-6_8

Reference13 articles.

1. de Oliveira, A.G.: Proofs from a Geometric Perspective. PhD thesis, Centro de Informática - Universidade Federal de Pernambuco (April 2001)

2. de Oliveira, A.G., de Queiroz, R.J.G.B.: 1 of Logic for Concurrency and Synchronisation. Trends in Logic - Studia Logic Library. In: Geometry of Deductions via Graphs of Proofs, pp. 1–86. Kluwer Academic Publishers, Dordrecht (2003)

3. Statman, R.: Structural Complexity of Proofs. PhD thesis, Stanford University (May 1974)

4. Carbone, A.: Duplication of directed graphs and exponential blow up of proofs. Ann. Pure Appl. Logic 100(1-3), 1–67 (1999)

5. Guglielmi, A., Gundersen, T.: Normalisation control in deep inference via atomic flows. Logical Methods in Computer Science 4, 1–36 (2008)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Propositional intuitionistic multiple-conclusion calculus via proof graphs;Logic Journal of the IGPL;2018-07-02

2. Normalization of N-Graphs via Sub-N-Graphs;Electronic Notes in Theoretical Computer Science;2016-07

3. Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach;Logic, Language, Information, and Computation;2013