Electronic Proceedings in Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

3725
(FIVE YEARS 568)

H-INDEX

20
(FIVE YEARS 2)

Published By Open Publishing Association

2075-2180, 2075-2180
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Sharing Geometry Proofs Across Logics and Systems

2021 ◽  
Vol 352 ◽  
pp. 106-106
Author(s):  
Gilles Dowek

scholarly journals Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems

2021 ◽  
Vol 352 ◽  
pp. 116-128
Author(s):  
Richard Schmoetten ◽  
Jake Palmer ◽  
Jacques Fleuriot
Keyword(s):  
Minkowski Spacetime

scholarly journals A Braided Lambda Calculus

2021 ◽  
Vol 353 ◽  
pp. 94-108
Author(s):  
Masahito Hasegawa
Keyword(s):  
Lambda Calculus

scholarly journals Exponentially Handsome Proof Nets and Their Normalization

2021 ◽  
Vol 353 ◽  
pp. 1-25
Author(s):  
Matteo Acclavio
Keyword(s):  
Proof Nets

scholarly journals Automated Generation of Illustrations for Synthetic Geometry Proofs

2021 ◽  
Vol 352 ◽  
pp. 91-102
Author(s):  
Predrag Janičić ◽  
Julien Narboux
Keyword(s):  
Automated Generation

scholarly journals On Automating Triangle Constructions in Absolute and Hyperbolic Geometry

2021 ◽  
Vol 352 ◽  
pp. 14-26
Author(s):  
Vesna Marinković ◽  
Tijana Šukilović ◽  
Filip Marić
Keyword(s):  
Hyperbolic Geometry

scholarly journals The Area Method in the Wolfram Language

2021 ◽  
Vol 352 ◽  
pp. 64-76
Author(s):  
Jack Heimrath
Keyword(s):  
Area Method

scholarly journals Online Generation of Proofs Without Words

2021 ◽  
Vol 352 ◽  
pp. 103-105
Author(s):  
Alexander Thaller ◽  
Zoltán Kovács

scholarly journals Proceedings of the 13th International Conference on Automated Deduction in Geometry

2021 ◽  
Vol 352 ◽  
Author(s):  
Predrag Janičić ◽  
Zoltán Kovács
Keyword(s):  
Automated Deduction ◽  
International Conference
Load More ...
Sign in / Sign up

Export Citation Format

Share Document