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/conf/birthday/takasu94.bht:"
download as .bib file
@inproceedings{DBLP:conf/birthday/HagiyaT94,
author = {Masami Hagiya and
Yozo Toda},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {On Implicit Arguments},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {10--30},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032392},
doi = {10.1007/BFB0032392},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HagiyaT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hasegawa94,
author = {Ryu Hasegawa},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {Well-Ordering of Algebras and Kruskal's Theorem},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {133--172},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032399},
doi = {10.1007/BFB0032399},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Hasegawa94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HayashiT94,
author = {Susumu Hayashi and
Yukihide Takayama},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {Lifschitz' Logic of Calcubable Numbers and Optimizations in Program
Extraction},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {1--9},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032391},
doi = {10.1007/BFB0032391},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HayashiT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/IgarashiMTH94,
author = {Shigeru Igarashi and
Tetsuya Mizutani and
Takashi Tsuji and
Chiharu Hosono},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {On Locomorphism in Analytical Equivalence Theory},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {173--187},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032400},
doi = {10.1007/BFB0032400},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/IgarashiMTH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Jones94,
author = {Neil D. Jones},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {The Essence of Program Transformation by Partial Evaluation and Driving},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {206--224},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032402},
doi = {10.1007/BFB0032402},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Jones94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KasaiSI94,
author = {Takumi Kasai and
Shusaku Sawato and
Shigeki Iwata},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {Thirty four Comparisons are Required to Sort 13 Items},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {260--269},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032405},
doi = {10.1007/BFB0032405},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KasaiSI94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Kobayashi94,
author = {Kojiro Kobayashi},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {On Coding Theorems with Modified Length Functions},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {255--259},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032404},
doi = {10.1007/BFB0032404},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Kobayashi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MasonT94,
author = {Ian A. Mason and
Carolyn L. Talcott},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {Program Transformation via Contextual Assertions},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {225--254},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032403},
doi = {10.1007/BFB0032403},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MasonT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Nakano94,
author = {Hiroshi Nakano},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction
Property},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {61--72},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032394},
doi = {10.1007/BFB0032394},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Nakano94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Nishizaki94,
author = {Shin{-}ya Nishizaki},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {{ML} with First-Class Environments and its Type Inference Algorithm},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {95--116},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032396},
doi = {10.1007/BFB0032396},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Nishizaki94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SatoK94,
author = {Masahiko Sato and
Yukiyoshi Kameyama},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {Conservativeness of Lambda over lambda-sigma-Calculus},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {73--94},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032395},
doi = {10.1007/BFB0032395},
timestamp = {Sat, 28 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SatoK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Takahashi94,
author = {Masako Takahashi},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {A Simple Proof of the Genericity Lemma},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {117--118},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032397},
doi = {10.1007/BFB0032397},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Takahashi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TomitaTI94,
author = {Kohji Tomita and
Takashi Tsuji and
Shigeru Igarashi},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {Analysis of a Software/Hardware System by Tense Arithmetic},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {188--205},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032401},
doi = {10.1007/BFB0032401},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/TomitaTI94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WeyhrauchT94,
author = {Richard W. Weyhrauch and
Carolyn L. Talcott},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {The Logic of {FOL} Systems: Formulated in Set Theory},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {119--132},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032398},
doi = {10.1007/BFB0032398},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/WeyhrauchT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/YasugiH94,
author = {Mariko Yasugi and
Susumu Hayashi},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {A Functional System with Transfinitely Defined Types},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {31--60},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032393},
doi = {10.1007/BFB0032393},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/YasugiH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/1994takasu,
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032390},
doi = {10.1007/BFB0032390},
isbn = {0-387-57935-4},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/1994takasu.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-14 12:36 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:
