Collaborated with:∅
Talks about:logic (2) intension (1) framework (1) uniform (1) theorem (1) prove (1) dynam (1)
Person: Heikki Tuominen
DBLP: Tuominen:Heikki
Contributed to:
1990Wrote 1 papers:
- CADE-1990-Tuominen #framework #logic #proving #theorem proving
- Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional Logic (HT), pp. 514–527.