DSpace Repository

The Gentzen sequent calculus in e-testing. Pt. 2: Algorithms and implementation

The Gentzen sequent calculus in e-testing. Pt. 2: Algorithms and implementation

Niewiadomski, Adam; Indrzejczak, Andrzej
Date: 2010
Publisher: Politechnika Łódzka
xmlui.dri2xhtml.METS-1.0.item-citation: Journal of Applied Computer Science., 2010 Vol.18 nr 2 s.57-65

Abstract:

This paper contains the description of algorithms and their implementations, the foundations and background of which are presented in Part I of this paper [1].

URI: http://hdl.handle.net/11652/447
ISSN: 1507-0360

Show full item record

Files in this item

Icon
Name: The_Gentzen_seque ...
Size: 264.1Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search DSpace


Browse

My Account