Logical Foundations of Computer Science - International Symposium, LFCS 2018

View Statistics Email Alert RSS Feed

Description

Event name
Logical Foundations of Computer Science - International Symposium, LFCS 2018
 
Event type
Event for scientific audience
 
Start date
08-01-2018
End date
11-01-2018
 
Location
Florida
Country
United States
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Leitsch, Alexander ; Baaz, Matthias ; Lolic, Anela A Sequent-Calculus Based Formulation of the Extended First Epsilon TheoremKonferenzbeitrag Inproceedings2018