Progress in computer science and applied logic
Source
ISSNs 2297-0576, 2297-0584
Source type: book series
Fully open access: No
In DOAJ: No
2yr mean citedness:
H-index: 6
I10-index: 2
Works count: 33
Citations count: 70
Intuitionistic Decision Procedures Since Gentzen
2016 · Roy Dyckhoff · Progress in computer science and applied logic
Temporal Type Theory
2019 · Patrick Schultz, David I. Spivak · Progress in computer science and applied logic
Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
2016 · Peter Schroeder‐Heister · Progress in computer science and applied logic