Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jesse B. Wright
@article{DBLP:journals/tcs/EhrigKTWW84,
author = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
title = {Parameter Passing in Algebraic Specification Languages},
journal = {Theor. Comput. Sci.},
volume = {28},
pages = {45--81},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(83)90065-8},
doi = {10.1016/0304-3975(83)90065-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrigKTWW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BloomTWW83,
author = {Stephen L. Bloom and
James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
title = {Recursion and Iteration in Continuous Theories: The "M-Construction"},
journal = {J. Comput. Syst. Sci.},
volume = {27},
number = {2},
pages = {148--164},
year = {1983},
url = {https://doi.org/10.1016/0022-0000(83)90037-5},
doi = {10.1016/0022-0000(83)90037-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BloomTWW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ThatcherWW82,
author = {James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
title = {Data Type Specification: Parameterization and the Power of Specification
Techniques},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {4},
pages = {711--732},
year = {1982},
url = {https://doi.org/10.1145/69622.357192},
doi = {10.1145/69622.357192},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ThatcherWW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ThatcherWW81,
author = {James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
title = {More on Advice on Structuring Compilers and Proving them Correct},
journal = {Theor. Comput. Sci.},
volume = {15},
pages = {223--249},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90080-3},
doi = {10.1016/0304-3975(81)90080-3},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ThatcherWW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/EhrigKTWW81,
author = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
editor = {J{\o}rgen Staunstrup},
title = {Parameter Passing in Algebraic Specification Languages},
booktitle = {Program Specification, Proceedings of a Workshop, Aarhus, Denmark,
August 1981},
series = {Lecture Notes in Computer Science},
volume = {134},
pages = {322--369},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-11490-4\_21},
doi = {10.1007/3-540-11490-4\_21},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/EhrigKTWW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BloomEW80,
author = {Stephen L. Bloom and
Calvin C. Elgot and
Jesse B. Wright},
title = {Solutions of the Iteration Equation and Extensions of the Scalar Iteration
Operation},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {1},
pages = {25--45},
year = {1980},
url = {https://doi.org/10.1137/0209002},
doi = {10.1137/0209002},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BloomEW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BloomEW80a,
author = {Stephen L. Bloom and
Calvin C. Elgot and
Jesse B. Wright},
title = {Vector Iteration in Pointed Iterative Theories},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {3},
pages = {525--540},
year = {1980},
url = {https://doi.org/10.1137/0209039},
doi = {10.1137/0209039},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BloomEW80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/ThatcherWW80,
author = {James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
editor = {Neil D. Jones},
title = {More on advice on structuring compilers and proving them correct},
booktitle = {Semantics-Directed Compiler Generation, Proceedings of a Workshop,
Aarhus, Denmark, January 14-18, 1980},
series = {Lecture Notes in Computer Science},
volume = {94},
pages = {165--188},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10250-7\_22},
doi = {10.1007/3-540-10250-7\_22},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/cc/ThatcherWW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EhrigKTWW80,
author = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Parameterized Data Types in Algebraic Specification Languages (Short
Version)},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {157--168},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_68},
doi = {10.1007/3-540-10003-2\_68},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EhrigKTWW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ThatcherWW79,
author = {James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
editor = {Hermann A. Maurer},
title = {More on Advice on Structuring Compilers and Proving Them Correct},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {596--615},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_48},
doi = {10.1007/3-540-09510-1\_48},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ThatcherWW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WrightWT78,
author = {Jesse B. Wright and
Eric G. Wagner and
James W. Thatcher},
title = {A Uniform Approach to Inductive Posets and Inductive Closure},
journal = {Theor. Comput. Sci.},
volume = {7},
pages = {57--77},
year = {1978},
url = {https://doi.org/10.1016/0304-3975(78)90040-3},
doi = {10.1016/0304-3975(78)90040-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WrightWT78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WagnerTW78,
author = {Eric G. Wagner and
James W. Thatcher and
Jesse B. Wright},
editor = {J{\'{o}}zef Winkowski},
title = {Programming Languages as Mathematical Objects},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {84--101},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_58},
doi = {10.1007/3-540-08921-7\_58},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WagnerTW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ThatcherWW78,
author = {James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Data Type Specification: Parameterization and the Power of Specification
Techniques},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {119--132},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804340},
doi = {10.1145/800133.804340},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/ThatcherWW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GoguenTWW77,
author = {Joseph A. Goguen and
James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
title = {Initial Algebra Semantics and Continuous Algebras},
journal = {J. {ACM}},
volume = {24},
number = {1},
pages = {68--95},
year = {1977},
url = {https://doi.org/10.1145/321992.321997},
doi = {10.1145/321992.321997},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GoguenTWW77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WrightWT77,
author = {Jesse B. Wright and
Eric G. Wagner and
James W. Thatcher},
editor = {Jozef Gruska},
title = {A Uniform Approach to Inductive Posets and Inductive Closure},
booktitle = {Mathematical Foundations of Computer Science 1977, 6th Symposium,
Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {53},
pages = {192--212},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08353-7\_137},
doi = {10.1007/3-540-08353-7\_137},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WrightWT77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/WrightTWG76,
author = {Jesse B. Wright and
James W. Thatcher and
Eric G. Wagner and
Joseph A. Goguen},
title = {Rational Algebraic Theories and Fixed-Point Solutions},
booktitle = {17th Annual Symposium on Foundations of Computer Science, Houston,
Texas, USA, 25-27 October 1976},
pages = {147--158},
publisher = {{IEEE} Computer Society},
year = {1976},
url = {https://doi.org/10.1109/SFCS.1976.24},
doi = {10.1109/SFCS.1976.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/WrightTWG76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WagnerWGT76,
author = {Eric G. Wagner and
Jesse B. Wright and
Joseph A. Goguen and
James W. Thatcher},
editor = {Antoni W. Mazurkiewicz},
title = {Some Fundamentals of Order-Algebraic Semantics},
booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
Gdansk, Poland, September 6-10, 1976, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {45},
pages = {153--168},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/3-540-07854-1\_169},
doi = {10.1007/3-540-07854-1\_169},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WagnerWGT76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GoguenTWW74,
author = {Joseph A. Goguen and
James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
editor = {Andrzej Blikle},
title = {Factorizations, Congruences, and the Decomposition of Automata and
Systems},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {33--45},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_665},
doi = {10.1007/3-540-07162-8\_665},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GoguenTWW74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wright72,
author = {Jesse B. Wright},
title = {Characterization of Recursively Enumerable Sets},
journal = {J. Symb. Log.},
volume = {37},
number = {3},
pages = {507--511},
year = {1972},
url = {https://doi.org/10.2307/2272736},
doi = {10.2307/2272736},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wright72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ThatcherW68,
author = {James W. Thatcher and
Jesse B. Wright},
title = {Generalized Finite Automata Theory with an Application to a Decision
Problem of Second-Order Logic},
journal = {Math. Syst. Theory},
volume = {2},
number = {1},
pages = {57--81},
year = {1968},
url = {https://doi.org/10.1007/BF01691346},
doi = {10.1007/BF01691346},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ThatcherW68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MezeiW67,
author = {Jorge E. Mezei and
Jesse B. Wright},
title = {Algebraic Automata and Context-Free Sets},
journal = {Inf. Control.},
volume = {11},
number = {1/2},
pages = {3--29},
year = {1967},
url = {https://doi.org/10.1016/S0019-9958(67)90353-1},
doi = {10.1016/S0019-9958(67)90353-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MezeiW67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EilenbergW67,
author = {Samuel Eilenberg and
Jesse B. Wright},
title = {Automata in General Algebras},
journal = {Inf. Control.},
volume = {11},
number = {4},
pages = {452--470},
year = {1967},
url = {https://doi.org/10.1016/S0019-9958(67)90670-5},
doi = {10.1016/S0019-9958(67)90670-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/EilenbergW67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BurksW62,
author = {Arthur W. Burks and
Jesse B. Wright},
title = {Sequence Generators, Graphs, and Formal Languages},
journal = {Inf. Control.},
volume = {5},
number = {3},
pages = {204--212},
year = {1962},
url = {https://doi.org/10.1016/S0019-9958(62)90544-2},
doi = {10.1016/S0019-9958(62)90544-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BurksW62.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CopiEW58,
author = {Irving M. Copi and
Calvin C. Elgot and
Jesse B. Wright},
title = {Realization of Events by Logical Nets},
journal = {J. {ACM}},
volume = {5},
number = {2},
pages = {181--196},
year = {1958},
url = {https://doi.org/10.1145/320924.320931},
doi = {10.1145/320924.320931},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/CopiEW58.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.
last updated on 2023-10-23 00:30 CEST 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:
