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 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 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 A New Modeling of Classical Folds in Computational Origami

2021 ◽  
Vol 352 ◽  
pp. 41-53
Author(s):  
Tetsuo Ida ◽  
Hidekazu Takahashi

scholarly journals Deriving Distributive Laws for Graded Linear Types

2021 ◽  
Vol 353 ◽  
pp. 109-131
Author(s):  
Jack Hughes ◽  
Michael Vollmer ◽  
Dominic Orchard
Keyword(s):  
Linear Types

scholarly journals Linear Additives

2021 ◽  
Vol 353 ◽  
pp. 74-93
Author(s):  
Gianluca Curzi

scholarly journals The Area Method in the Wolfram Language

2021 ◽  
Vol 352 ◽  
pp. 64-76
Author(s):  
Jack Heimrath
Keyword(s):  
Area Method
Load More ...
Sign in / Sign up

Export Citation Format

Share Document