Open AccessResolution Proof Technique in Linear Temporal Logic.
Author(s) -
Krzysztof Kochut
Publication year - 1987
Language(s) - Slovenian
Resource type - Dissertations/theses
DOI - 10.31390/gradschool_disstheses.4456
Subject(s) - linear temporal logic , predicate logic , temporal logic , first order logic , predicate (mathematical logic) , algorithm , linear logic , resolution (logic) , computation tree logic , proof theory , interval temporal logic , structural proof theory , mathematics , propositional calculus , computer science , completeness (order theory) , unification , intermediate logic , theoretical computer science , discrete mathematics , programming language , description logic , mathematical proof , mathematical analysis , geometry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom