Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
An enhanced sequent calculus for reasoning in a given domain

An enhanced sequent calculus for reasoning in a given domain

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 722/1993
BookDesign and Implementation of Symbolic Computation Systems
DOI10.1007/BFb0013162
Copyright1993
ISBN978-3-540-57235-0
DOI10.1007/BFb0013192
Pages369-373
Subject CollectionComputer Science
SpringerLink DateMonday, April 10, 2006
Add to marked items

An enhanced sequent calculus for reasoning in a given domain

S. Bonamico1, G. Cioni1 and A. Colagrossi1 Contact Information

(1)  Istituto di Analisi dei Sistemi ed Informatica del C.N.R., Viale Manzoni 30, 00185 Roma, Italy
Without Abstract
This work has been partially supported by Progetto Finalizzato ldquoSistemi Informatici e Calcolo Parallelordquo of CNR

Contact Information A. Colagrossi
Email: CIONI@IASI.RM.CNR.IT
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.111 • Server: mpweb16
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)