Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs549.bht:"
@article{DBLP:journals/tcs/BilkovaPV14, author = {Marta B{\'{\i}}lkov{\'{a}} and Alessandra Palmigiano and Yde Venema}, title = {Proof systems for Moss' coalgebraic logic}, journal = {Theor. Comput. Sci.}, volume = {549}, pages = {36--60}, year = {2014}, url = {https://doi.org/10.1016/j.tcs.2014.06.018}, doi = {10.1016/J.TCS.2014.06.018}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BilkovaPV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ChiltonJK14, author = {Chris Chilton and Bengt Jonsson and Marta Z. Kwiatkowska}, title = {An algebraic theory of interface automata}, journal = {Theor. Comput. Sci.}, volume = {549}, pages = {146--174}, year = {2014}, url = {https://doi.org/10.1016/j.tcs.2014.07.018}, doi = {10.1016/J.TCS.2014.07.018}, timestamp = {Tue, 31 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/ChiltonJK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FujitaS14, author = {Ken{-}etsu Fujita and Aleksy Schubert}, title = {Existential type systems between Church and Curry style (type-free style)}, journal = {Theor. Comput. Sci.}, volume = {549}, pages = {17--35}, year = {2014}, url = {https://doi.org/10.1016/j.tcs.2014.05.019}, doi = {10.1016/J.TCS.2014.05.019}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FujitaS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HetzlLRW14, author = {Stefan Hetzl and Alexander Leitsch and Giselle Reis and Daniel Weller}, title = {Algorithmic introduction of quantified cuts}, journal = {Theor. Comput. Sci.}, volume = {549}, pages = {1--16}, year = {2014}, url = {https://doi.org/10.1016/j.tcs.2014.05.018}, doi = {10.1016/J.TCS.2014.05.018}, timestamp = {Fri, 04 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/HetzlLRW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ScheweW14, author = {Klaus{-}Dieter Schewe and Qing Wang}, title = {A theoretical framework for knowledge-based entity resolution}, journal = {Theor. Comput. Sci.}, volume = {549}, pages = {101--126}, year = {2014}, url = {https://doi.org/10.1016/j.tcs.2014.06.030}, doi = {10.1016/J.TCS.2014.06.030}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/ScheweW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/SongT14, author = {Fu Song and Tayssir Touili}, title = {Efficient {CTL} model-checking for pushdown systems}, journal = {Theor. Comput. Sci.}, volume = {549}, pages = {127--145}, year = {2014}, url = {https://doi.org/10.1016/j.tcs.2014.07.001}, doi = {10.1016/J.TCS.2014.07.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/SongT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/WimmerJAKB14, author = {Ralf Wimmer and Nils Jansen and Erika {\'{A}}brah{\'{a}}m and Joost{-}Pieter Katoen and Bernd Becker}, title = {Minimal counterexamples for linear-time probabilistic verification}, journal = {Theor. Comput. Sci.}, volume = {549}, pages = {61--100}, year = {2014}, url = {https://doi.org/10.1016/j.tcs.2014.06.020}, doi = {10.1016/J.TCS.2014.06.020}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/WimmerJAKB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.