Metcalfe, George; Olivetti, Nicola
(2011).
Towards a Proof Theory of Gödel Modal Logics.
Logical methods in computer science, 7(2), p. 27.
Braunschweig: Department of Theoretical Computer Science, Technical University of Braunschweig
10.2168/LMCS-7(2:10)2011
Full text not available from this repository.
Interest & Impact
Downloads
0 since deposited on 04 Oct 2013
0 in the past 12 months
Citations
5 Citations in Web of Science ®
6 Citations in Scopus
Search
in Google Scholar™
Services
Actions (login required)
 |
Edit item |
Item Type: |
Journal Article
(Original Article)
|
Division/Institute: |
08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics |
UniBE Contributor: |
Metcalfe, George |
ISSN: |
1860-5974 |
Publisher: |
Department of Theoretical Computer Science, Technical University of Braunschweig |
Language: |
English |
Submitter: |
Factscience Import
|
Date Deposited: |
04 Oct 2013 14:20 |
Last Modified: |
05 Dec 2022 14:05 |
Publisher DOI: |
10.2168/LMCS-7(2:10)2011 |
Web of Science ID: |
000301227100016 |
URI: |
https://boris.unibe.ch/id/eprint/6868 (FactScience: 211912) |
|
|
|
|
Actions (login required)
|
Edit item |
