Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs111.bht:"
@article{DBLP:journals/tcs/Abramsky93, author = {Samson Abramsky}, title = {Computational Interpretations of Linear Logic}, journal = {Theor. Comput. Sci.}, volume = {111}, number = {1{\&}2}, pages = {3--57}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90181-R}, doi = {10.1016/0304-3975(93)90181-R}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Abramsky93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Droste93, author = {Manfred Droste}, title = {On Stable Domains}, journal = {Theor. Comput. Sci.}, volume = {111}, number = {1{\&}2}, pages = {89--101}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90183-T}, doi = {10.1016/0304-3975(93)90183-T}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Droste93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DybkjaerM93, author = {Hans Dybkj{\ae}r and Austin Melton}, title = {Comparing Hagino's Categorical Programming Language and Typed lambda-Calculi}, journal = {Theor. Comput. Sci.}, volume = {111}, number = {1{\&}2}, pages = {145--189}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90186-W}, doi = {10.1016/0304-3975(93)90186-W}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DybkjaerM93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GilmoreT93, author = {Paul C. Gilmore and George K. Tsiknis}, title = {A Logic for Category Theory}, journal = {Theor. Comput. Sci.}, volume = {111}, number = {1{\&}2}, pages = {211--252}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90188-Y}, doi = {10.1016/0304-3975(93)90188-Y}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GilmoreT93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GilmoreT93a, author = {Paul C. Gilmore and George K. Tsiknis}, title = {Logical Foundations for Programming Semantics}, journal = {Theor. Comput. Sci.}, volume = {111}, number = {1{\&}2}, pages = {253--290}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90189-Z}, doi = {10.1016/0304-3975(93)90189-Z}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GilmoreT93a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Heckmann93, author = {Reinhold Heckmann}, title = {Power Domains and Second-Order Predicates}, journal = {Theor. Comput. Sci.}, volume = {111}, number = {1{\&}2}, pages = {59--88}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90182-S}, doi = {10.1016/0304-3975(93)90182-S}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Heckmann93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Lamarche93, author = {Fran{\c{c}}ois Lamarche}, title = {Stable Domains are Generalized Topological Spaces}, journal = {Theor. Comput. Sci.}, volume = {111}, number = {1{\&}2}, pages = {103--123}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90184-U}, doi = {10.1016/0304-3975(93)90184-U}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Lamarche93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Main93, author = {Michael G. Main}, title = {Complete Proof Rules for Strong Fairness and Strong Extreme Fairness}, journal = {Theor. Comput. Sci.}, volume = {111}, number = {1{\&}2}, pages = {125--143}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90185-V}, doi = {10.1016/0304-3975(93)90185-V}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Main93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MossT93, author = {Lawrence S. Moss and Satish R. Thatte}, title = {Modal Logic and Algebraic Specifications}, journal = {Theor. Comput. Sci.}, volume = {111}, number = {1{\&}2}, pages = {191--210}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90187-X}, doi = {10.1016/0304-3975(93)90187-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MossT93.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.