Hybrid Tableaux for the Difference Modality. Kaminski, M. & Smolka, G. Electr. Notes Theor. Comput. Sci., 231:241-257, 2009.
Link
Paper bibtex @article{journals/entcs/KaminskiS09,
added-at = {2009-04-19T00:00:00.000+0200},
author = {Kaminski, Mark and Smolka, Gert},
biburl = {http://www.bibsonomy.org/bibtex/2c89898e33d5b1d688bf19596132c208f/dblp},
date = {2009-04-19},
description = {dblp},
ee = {http://dx.doi.org/10.1016/j.entcs.2009.02.039},
interhash = {e40c1b64d4657c4ba3ab106d0b8d955f},
intrahash = {c89898e33d5b1d688bf19596132c208f},
journal = {Electr. Notes Theor. Comput. Sci.},
keywords = {dblp},
pages = {241-257},
timestamp = {2009-04-22T11:33:08.000+0200},
title = {Hybrid Tableaux for the Difference Modality.},
url = {http://dblp.uni-trier.de/db/journals/entcs/entcs231.html#KaminskiS09},
volume = 231,
year = 2009
}
Downloads: 0
{"_id":"ma7CdcyxBpht7FGgo","bibbaseid":"kaminski-smolka-hybridtableauxforthedifferencemodality-2009","downloads":0,"creationDate":"2016-04-12T13:16:35.292Z","title":"Hybrid Tableaux for the Difference Modality.","author_short":["Kaminski, M.","Smolka, G."],"year":2009,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2009-04-19T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Mark"],"suffixes":[]},{"propositions":[],"lastnames":["Smolka"],"firstnames":["Gert"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2c89898e33d5b1d688bf19596132c208f/dblp","date":"2009-04-19","description":"dblp","ee":"http://dx.doi.org/10.1016/j.entcs.2009.02.039","interhash":"e40c1b64d4657c4ba3ab106d0b8d955f","intrahash":"c89898e33d5b1d688bf19596132c208f","journal":"Electr. Notes Theor. Comput. Sci.","keywords":"dblp","pages":"241-257","timestamp":"2009-04-22T11:33:08.000+0200","title":"Hybrid Tableaux for the Difference Modality.","url":"http://dblp.uni-trier.de/db/journals/entcs/entcs231.html#KaminskiS09","volume":"231","year":"2009","bibtex":"@article{journals/entcs/KaminskiS09,\n added-at = {2009-04-19T00:00:00.000+0200},\n author = {Kaminski, Mark and Smolka, Gert},\n biburl = {http://www.bibsonomy.org/bibtex/2c89898e33d5b1d688bf19596132c208f/dblp},\n date = {2009-04-19},\n description = {dblp},\n ee = {http://dx.doi.org/10.1016/j.entcs.2009.02.039},\n interhash = {e40c1b64d4657c4ba3ab106d0b8d955f},\n intrahash = {c89898e33d5b1d688bf19596132c208f},\n journal = {Electr. Notes Theor. Comput. Sci.},\n keywords = {dblp},\n pages = {241-257},\n timestamp = {2009-04-22T11:33:08.000+0200},\n title = {Hybrid Tableaux for the Difference Modality.},\n url = {http://dblp.uni-trier.de/db/journals/entcs/entcs231.html#KaminskiS09},\n volume = 231,\n year = 2009\n}\n\n","author_short":["Kaminski, M.","Smolka, G."],"key":"journals/entcs/KaminskiS09","id":"journals/entcs/KaminskiS09","bibbaseid":"kaminski-smolka-hybridtableauxforthedifferencemodality-2009","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.entcs.2009.02.039","Paper":"http://dblp.uni-trier.de/db/journals/entcs/entcs231.html#KaminskiS09"},"keyword":["dblp"],"downloads":0},"search_terms":["hybrid","tableaux","difference","modality","kaminski","smolka"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}