%0 Conference Paper %1 conf/RelMiCS/StellSR14 %A Stell, John G. %A Schmidt, Renate A. %A Rydeheard, David E. %B RAMiCS %D 2014 %E Höfner, Peter %E Jipsen, Peter %E Kahl, Wolfram %E Müller, Martin Eric %I Springer %K dblp %P 412-428 %T Tableau Development for a Bi-intuitionistic Tense Logic. %U http://dblp.uni-trier.de/db/conf/RelMiCS/ramics2014.html#StellSR14 %V 8428 %@ 978-3-319-06250-1

@inproceedings{conf/RelMiCS/StellSR14, added-at = {2021-12-15T00:00:00.000+0100}, author = {Stell, John G. and Schmidt, Renate A. and Rydeheard, David E.}, biburl = {https://www.bibsonomy.org/bibtex/2f7d9b33fa107c8d2d096bbca3b7b8a73/dblp}, booktitle = {RAMiCS}, crossref = {conf/RelMiCS/2014}, editor = {Höfner, Peter and Jipsen, Peter and Kahl, Wolfram and Müller, Martin Eric}, ee = {https://www.wikidata.org/entity/Q59900597}, interhash = {81b977cde974c5d333768c5f4b015d35}, intrahash = {f7d9b33fa107c8d2d096bbca3b7b8a73}, isbn = {978-3-319-06250-1}, keywords = {dblp}, pages = {412-428}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:33:31.000+0200}, title = {Tableau Development for a Bi-intuitionistic Tense Logic.}, url = {http://dblp.uni-trier.de/db/conf/RelMiCS/ramics2014.html#StellSR14}, volume = 8428, year = 2014 }