Fixed-Point Elimination in the Intuitionistic Propositional Calculus

AuthID
 P-00K-BBA
3
Author(s)
Ghilardi, S
·
Santocanale, L
2
Editor(s)
Jacobs, B; Loding, C
Document Type
Proceedings Paper
Year published
2016
Published
in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 9634, Pages: 126-141 (16)
Conference
19Th International Conference on Foundations of Software Science and Computation Structures (Fossacs) Held as Part of the European Joint Conferences on Theory and Practice of Software (Etaps), Date: APR 04-07, 2016, Location: Eindhoven, NETHERLANDS
Indexing
Wos®
Scopus®
Crossref®
Google Scholar®
Publication Identifiers
SCOPUS: 2-s2.0-84961745387
Wos: WOS:000401936500008
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.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service