%0 Thesis %1 phd/ethos/Kontchakov04 %A Kontchakov, Roman %D 2004 %K %T Monodic first-order temporal logics : complexity, tableaux, and applications.

@phdthesis{phd/ethos/Kontchakov04, added-at = {2023-12-13T06:33:10.000+0100}, author = {Kontchakov, Roman}, biburl = {https://www.bibsonomy.org/bibtex/26247a301c1e7b114bef1e3443638bfa5/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.411317}, interhash = {aef968f6e1487ba43d281373fc9742e2}, intrahash = {6247a301c1e7b114bef1e3443638bfa5}, keywords = {}, note = {British Library, EThOS}, school = {King's College London, UK}, timestamp = {2023-12-13T06:33:10.000+0100}, title = {Monodic first-order temporal logics : complexity, tableaux, and applications.}, year = 2004 }