- Tytuł:
- Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property
- Autorzy:
-
Alve, G.V.
Oliveira, A.G.,de
Queiroz, R., de - Data publikacji:
- 2011
- Słowa kluczowe:
-
proof theory
normalization procedure
proof-graphs
multiple conclusion
cycles - Pokaż więcej
- Dostawca treści:
- BazTech