Publications

Characterising Strongly Normalising Intuitionistic Sequent Terms

AuthID
P-00F-HVB

Author(s)

Espirito Santo, J

Ghilezan, S

Ivetic, J

Document Type

Proceedings Paper

Year published

2008

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 4941 LNCS, Pages: 85-99

Conference

International Conference on Types for Proofs and Programs, Types 2007, Date: 2 May 2007 through 5 May 2007, Location: Cividale del Friuli

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-540-68103-8_6

SCOPUS: 2-s2.0-44649175921

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Characterising Strongly Normalising Intuitionistic Sequent Terms

Useful Links

Get Help

Federated Authentication (Click on the image)

Characterising Strongly Normalising Intuitionistic Sequent Terms

Useful Links

Get Help