Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/rims:"
download as .bib file
@proceedings{DBLP:conf/rims/1984,
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16470-7},
doi = {10.1007/3-540-16470-7},
isbn = {3-540-16470-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/1984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/HirakawaOF84,
author = {Hideki Hirakawa and
Rikio Onai and
Koichi Furukawa},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {OR-Parallel Optimizing Prolog System: {POPS.} Its Design and Implementation
in Concurrent Prolog},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {114--129},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_6},
doi = {10.1007/3-540-16470-7\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/rims/HirakawaOF84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/IdaK84,
author = {Tetsuo Ida and
Akihiko Konagaya},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {Comparison of Closure Reduction and Combinatory Reduction Schemes},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {261--291},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_13},
doi = {10.1007/3-540-16470-7\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/IdaK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/KitaSI84,
author = {Hidehiko Kita and
Toshiki Sakabe and
Yasuyoshi Inagaki},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {Algebraic Specification Method of Programming Languages},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {144--157},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_8},
doi = {10.1007/3-540-16470-7\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/KitaSI84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Koga84,
author = {Akihiko Koga},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {On Program Transformation with Tupling Technique},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {212--232},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_11},
doi = {10.1007/3-540-16470-7\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/Koga84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/LoeOG84,
author = {Kia{-}Fock Loe and
Noritaka Ohsawa and
Eiichi Goto},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {Circuit Simulation Code Generation by Computer Algebra},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {307--323},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_15},
doi = {10.1007/3-540-16470-7\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/LoeOG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/MuroMH84,
author = {Shojiro Muro and
Tadashi Mizutani and
Toshiharu Hasegawa},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {Multiversion Concurrency Control Scheme for a Distributed Database
System - {A} Trial to Break Concurrent Update of Redundant Copies},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {158--180},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_9},
doi = {10.1007/3-540-16470-7\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/MuroMH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/NoshitaH84,
author = {Kohei Noshita and
Teruo Hikita},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {The BC-Chain Method for Representing Combinators in Linear Space},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {292--306},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_14},
doi = {10.1007/3-540-16470-7\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/NoshitaH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/NumaoS84,
author = {Masayuki Numao and
Masamichi Shimura},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {Evaluation of Graph Representations with Active Nodes},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {17--43},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_2},
doi = {10.1007/3-540-16470-7\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/NumaoS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/OnoTA84,
author = {Satoshi Ono and
Naohisa Takahashi and
Makoto Amamiya},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {Partial Computation with a Dataflow Machine},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {87--113},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_5},
doi = {10.1007/3-540-16470-7\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/OnoTA84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/SakaiM84,
author = {K{\^{o}} Sakai and
Taizo Miyachi},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {Incorporating Na{\"{\i}}ve Negation into Prolog},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {130--143},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_7},
doi = {10.1007/3-540-16470-7\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/SakaiM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/SasakiK84,
author = {Hisashi Sasaki and
Takuya Katayama},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {Global Storage Allocation in Attribute Evaluation},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {181--211},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_10},
doi = {10.1007/3-540-16470-7\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/SasakiK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Shibayama84,
author = {Etsuya Shibayama},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {A Fast Parallel Merging Algorithm for 2-3 trees},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {1--16},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_1},
doi = {10.1007/3-540-16470-7\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/Shibayama84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Shimizu84,
author = {Kentaro Shimizu},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {A Portable Logic Simulation System for Development of {FLATS} Machine},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {62--86},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_4},
doi = {10.1007/3-540-16470-7\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/Shimizu84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/SunaharaT84,
author = {Hideki Sunahara and
Mario Tokoro},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {Evaluation of Working Set Algorithms for Data-flow Machines},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {233--260},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_12},
doi = {10.1007/3-540-16470-7\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/SunaharaT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Toyama84,
author = {Yoshihito Toyama},
editor = {Eiichi Goto and
Keijiro Araki and
Taiichi Yuasa},
title = {On Equivalence Transformations for Term Rewriting Systems},
booktitle = {{RIMS} Symposia on Software Science and Engineering II, Proceedings
of the Symposia 1983 and 1984, Kyoto, Japan},
series = {Lecture Notes in Computer Science},
volume = {220},
pages = {44--61},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-16470-7\_3},
doi = {10.1007/3-540-16470-7\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/Toyama84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rims/1982,
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-11980-9},
doi = {10.1007/3-540-11980-9},
isbn = {3-540-11980-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/1982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/AmamiyaHM82,
author = {Makoto Amamiya and
Ryuzo Hasegawa and
Hirohide Mikami},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {List Processing with a Data Flow Machine},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {165--190},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_22},
doi = {10.1007/3-540-11980-9\_22},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/rims/AmamiyaHM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Futamura82,
author = {Yoshihiko Futamura},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {Parital Computation of Programs},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {1--35},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_13},
doi = {10.1007/3-540-11980-9\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/Futamura82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Goto82,
author = {Shigeki Goto},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {{DURAL:} an Extended Prolog Language},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {73--87},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_16},
doi = {10.1007/3-540-11980-9\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/Goto82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/HagiharaWT82,
author = {Kenichi Hagihara and
Kouichi Wada and
Nobuki Tokura},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {Effect of Practical Assumption in Area Complexity of {VLSI} Computation},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {128--146},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_20},
doi = {10.1007/3-540-11980-9\_20},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rims/HagiharaWT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Katayama82,
author = {Takuya Katayama},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {Treatment of Big Values in an Applicative Language {HFP}},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {36--48},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_14},
doi = {10.1007/3-540-11980-9\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/Katayama82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/KitsuregawaTM82,
author = {Masaru Kitsuregawa and
Hidehiko Tanaka and
Tohru Moto{-}Oka},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {Relational Algebra Machine {GRACE}},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {191--214},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_23},
doi = {10.1007/3-540-11980-9\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/KitsuregawaTM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Kojima82,
author = {Keiji Kojima},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {A Pattern Matching Algorithm in Binary Trees},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {99--114},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_18},
doi = {10.1007/3-540-11980-9\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/Kojima82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Sato82,
author = {Taisuke Sato},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {An Algorithm for Intelligent Backtracking},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {88--98},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_17},
doi = {10.1007/3-540-11980-9\_17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rims/Sato82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Shinohara82,
author = {Takeshi Shinohara},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {Polynomial Time Inference of Extended Regular Pattern Languages},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {115--127},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_19},
doi = {10.1007/3-540-11980-9\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/Shinohara82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Tanaka82,
author = {Yuzuru Tanaka},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {Vocabulary Building for Database Queries},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {215--232},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_24},
doi = {10.1007/3-540-11980-9\_24},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/Tanaka82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/Tokoro82,
author = {Mario Tokoro},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {Towards the Design and Implementation of Object Oriented Architecture},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {49--72},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_15},
doi = {10.1007/3-540-11980-9\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/Tokoro82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rims/YajimaY82,
author = {Shuzo Yajima and
Hiroto Yasuura},
editor = {Eiichi Goto and
Koichi Furukawa and
Reiji Nakajima and
Ikuo Nakata and
Akinori Yonezawa},
title = {Hardware Algorithms and Logic Design Automation. An Overview and Progress
Report},
booktitle = {{RIMS} Symposium on Software Science and Engineering, Kyoto, Japan,
1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {147--164},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11980-9\_21},
doi = {10.1007/3-540-11980-9\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rims/YajimaY82.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-19 23:48 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:
