Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs90.bht:"
download as .bib file
@article{DBLP:journals/tcs/BakkerW91,
author = {J. W. de Bakker and
J. H. A. Warmerdam},
title = {Four Domains for Concurrency},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {127--149},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90303-J},
doi = {10.1016/0304-3975(91)90303-J},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BakkerW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarzdinB91,
author = {J. M. Barzdin and
G. J. Barzdin},
title = {Rapid Constructions of Algebraic Axioms From Samples},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {199--208},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90307-N},
doi = {10.1016/0304-3975(91)90307-N},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BarzdinB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BlikleTT91,
author = {Andrzej Blikle and
Andrzej Tarlecki and
Mikkel Thorup},
title = {On Conservative Extensions of Syntax in System Development},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {209--233},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90308-O},
doi = {10.1016/0304-3975(91)90308-O},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BlikleTT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Bulyonkov91,
author = {Mikhail A. Bulyonkov},
title = {From Partial Evaluation to Mixed Computation},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {47--60},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90298-G},
doi = {10.1016/0304-3975(91)90298-G},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bulyonkov91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CherkasovaK91,
author = {Ludmila Cherkasova and
Vadim E. Kotov},
title = {An Algebra of Concurrent Non-Deterministic Processes},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {151--170},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90304-K},
doi = {10.1016/0304-3975(91)90304-K},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CherkasovaK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DongG91,
author = {Guozhu Dong and
Seymour Ginsburg},
title = {Localizable Constraints for Object Histories},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {2},
pages = {391--432},
year = {1991},
timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DongG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FutamuraNT91,
author = {Yoshihiko Futamura and
Kenroku Nogi and
Akihiko Takano},
title = {Essence of Generalized Partial Computation},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {61--79},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90299-H},
doi = {10.1016/0304-3975(91)90299-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FutamuraNT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hoare91,
author = {C. A. R. Hoare},
title = {A Theory for the Derivation of Combinational {C-MOS} Circuit Designs},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {235--251},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90309-P},
doi = {10.1016/0304-3975(91)90309-P},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hoare91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Itkin91,
author = {V. E. Itkin},
title = {An Algebra of Mixed Computation},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {81--93},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90300-Q},
doi = {10.1016/0304-3975(91)90300-Q},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Itkin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Jones91,
author = {Neil D. Jones},
title = {Static Semantics, Types, and Binding Time Analysis},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {95--118},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90301-H},
doi = {10.1016/0304-3975(91)90301-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Jones91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kasyanov91,
author = {Victor N. Kasyanov},
title = {Transformational Approach to Program Concretization},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {37--46},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90297-F},
doi = {10.1016/0304-3975(91)90297-F},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kasyanov91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Knuth91,
author = {Donald E. Knuth},
title = {Theory and Practice},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {1--15},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90295-D},
doi = {10.1016/0304-3975(91)90295-D},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Knuth91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MazurkiewiczRT91,
author = {Antoni W. Mazurkiewicz and
Alexander Moshe Rabinovich and
Boris A. Trakhtenbrot},
title = {Connectedness and Synchronization},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {171--184},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90305-L},
doi = {10.1016/0304-3975(91)90305-L},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MazurkiewiczRT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Nepejvoda91,
author = {N. N. Nepejvoda},
title = {A Bridge Between Constructive Logic and Computer Programming},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {253--270},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90310-X},
doi = {10.1016/0304-3975(91)90310-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Nepejvoda91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pottosin91,
author = {Igor V. Pottosin},
title = {Analysis of Program Optimization Possibilities and Further Development},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {17--36},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90296-E},
doi = {10.1016/0304-3975(91)90296-E},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Pottosin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Rus91,
author = {Teodor Rus},
title = {Algebraic Construction of Compliers},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {2},
pages = {271--308},
year = {1991},
timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Rus91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Saito91,
author = {Takashi Saito},
title = {Dynamics of Equivalence Relations in Automata Networks},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {2},
pages = {355--367},
year = {1991},
timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Saito91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Tatsuta91,
author = {Makoto Tatsuta},
title = {Program Synthesis Using Realizability},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {2},
pages = {309--353},
year = {1991},
timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tatsuta91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Toyama91,
author = {Yoshihito Toyama},
title = {How to Prove Equivalence of Term Rewriting Systems Without Induction},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {2},
pages = {369--390},
year = {1991},
timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Toyama91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Turski91,
author = {Wladyslaw M. Turski},
title = {Prescribing Behaviors},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {119--125},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90302-I},
doi = {10.1016/0304-3975(91)90302-I},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Turski91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Tyugu91,
author = {Enn Tyugu},
title = {Higher Order Dataflow Schemas},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {1},
pages = {185--198},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90306-M},
doi = {10.1016/0304-3975(91)90306-M},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tyugu91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Vakarelov91,
author = {Dimiter Vakarelov},
title = {Modal Logics for Knowledge Representation Systems},
journal = {Theor. Comput. Sci.},
volume = {90},
number = {2},
pages = {433--456},
year = {1991},
timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Vakarelov91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-31 13:02 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
