Electronic Proceedings in Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

3725
(FIVE YEARS 326)

H-INDEX

20
(FIVE YEARS 0)

Published By Open Publishing Association

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

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 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 Online Generation of Proofs Without Words

2021 ◽  
Vol 352 ◽  
pp. 103-105
Author(s):  
Alexander Thaller ◽  
Zoltán Kovács
Load More ...
Sign in / Sign up

Export Citation Format

Share Document