Login / Signup
Temporal Gödel-Gentzen and Girard translations.
Norihiro Kamide
Published in:
Math. Log. Q. (2013)
Keyphrases
</>
temporal information
spatio temporal
temporal data
temporal reasoning
real time
spatial and temporal
machine translation
temporal constraints
temporal dimension
temporal analysis
temporal aspects
temporal characteristics
temporal sequences
temporal consistency
temporal ordering