Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Takahito Aoto 0001
@inproceedings{DBLP:conf/frocos/HagaKA23,
author = {Ryota Haga and
Yuki Kagaya and
Takahito Aoto},
editor = {Uli Sattler and
Martin Suda},
title = {A Critical Pair Criterion for Level-Commutation of Conditional Term
Rewriting Systems},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {99--116},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_6},
doi = {10.1007/978-3-031-43369-6\_6},
timestamp = {Wed, 01 Nov 2023 08:59:02 +0100},
biburl = {https://dblp.org/rec/conf/frocos/HagaKA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Kikuchi021,
author = {Kentaro Kikuchi and
Takahito Aoto},
editor = {Mikolaj Bojanczyk and
Chandra Chekuri},
title = {Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating
Term Rewriting Systems},
booktitle = {41st {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2021, December 15-17, 2021,
Virtual Conference},
series = {LIPIcs},
volume = {213},
pages = {49:1--49:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2021.49},
doi = {10.4230/LIPICS.FSTTCS.2021.49},
timestamp = {Tue, 30 Nov 2021 13:59:34 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Kikuchi021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ShiraishiKA21,
author = {Tomoki Shiraishi and
Kentaro Kikuchi and
Takahito Aoto},
editor = {Antonio Cerone and
Peter Csaba {\"{O}}lveczky},
title = {A Proof Method for Local Sufficient Completeness of Term Rewriting
Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International
Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12819},
pages = {386--404},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85315-0\_22},
doi = {10.1007/978-3-030-85315-0\_22},
timestamp = {Wed, 25 Aug 2021 09:47:08 +0200},
biburl = {https://dblp.org/rec/conf/ictac/ShiraishiKA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Ishizuka0I21,
author = {Mamoru Ishizuka and
Takahito Aoto and
Munehiro Iwami},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {Commutative Rational Term Rewriting},
booktitle = {Language and Automata Theory and Applications - 15th International
Conference, {LATA} 2021, Milan, Italy, March 1-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12638},
pages = {200--212},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-68195-1\_15},
doi = {10.1007/978-3-030-68195-1\_15},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/Ishizuka0I21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Yamaguchi020,
author = {Masaomi Yamaguchi and
Takahito Aoto},
editor = {Zena M. Ariola},
title = {A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion
of Shallow Term Rewriting Systems},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual
Conference)},
series = {LIPIcs},
volume = {167},
pages = {11:1--11:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.11},
doi = {10.4230/LIPICS.FSCD.2020.11},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/Yamaguchi020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Kikuchi020,
author = {Kentaro Kikuchi and
Takahito Aoto},
editor = {Maribel Fern{\'{a}}ndez},
title = {Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables},
booktitle = {Logic-Based Program Synthesis and Transformation - 30th International
Symposium, {LOPSTR} 2020, Bologna, Italy, September 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12561},
pages = {56--73},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-68446-4\_3},
doi = {10.1007/978-3-030-68446-4\_3},
timestamp = {Mon, 15 Feb 2021 15:03:56 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/Kikuchi020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/0001T19,
author = {Takahito Aoto and
Yoshihito Toyama},
editor = {Andreas Herzig and
Andrei Popescu},
title = {Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term
Rewriting Systems},
booktitle = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
2019, London, UK, September 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11715},
pages = {330--347},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29007-8\_19},
doi = {10.1007/978-3-030-29007-8\_19},
timestamp = {Thu, 22 Aug 2019 12:42:11 +0200},
biburl = {https://dblp.org/rec/conf/frocos/0001T19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Kikuchi0S19,
author = {Kentaro Kikuchi and
Takahito Aoto and
Isao Sasano},
editor = {Ekaterina Komendantskaya},
title = {Inductive Theorem Proving in Non-terminating Rewriting Systems and
Its Application to Program Transformation},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {13:1--13:14},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354178},
doi = {10.1145/3354166.3354178},
timestamp = {Thu, 26 Sep 2019 14:21:31 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Kikuchi0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/0001HHMN0SZ18,
author = {Takahito Aoto and
Makoto Hamana and
Nao Hirokawa and
Aart Middeldorp and
Julian Nagele and
Naoki Nishida and
Kiraku Shintani and
Harald Zankl},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {Confluence Competition 2018},
booktitle = {3rd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}},
series = {LIPIcs},
volume = {108},
pages = {32:1--32:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2018.32},
doi = {10.4230/LIPICS.FSCD.2018.32},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/0001HHMN0SZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-00940,
author = {Takahito Aoto and
Yoshihito Toyama},
title = {Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term
Rewriting Systems},
journal = {CoRR},
volume = {abs/1807.00940},
year = {2018},
url = {http://arxiv.org/abs/1807.00940},
eprinttype = {arXiv},
eprint = {1807.00940},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-00940.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/KikuchiAT17,
author = {Kentaro Kikuchi and
Takahito Aoto and
Yoshihito Toyama},
editor = {Clare Dixon and
Marcelo Finger},
title = {Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {115--131},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_7},
doi = {10.1007/978-3-319-66167-4\_7},
timestamp = {Mon, 28 Aug 2023 21:17:55 +0200},
biburl = {https://dblp.org/rec/conf/frocos/KikuchiAT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/0001TK17,
author = {Takahito Aoto and
Yoshihito Toyama and
Yuta Kimura},
editor = {Dale Miller},
title = {Improving Rewriting Induction Approach for Proving Ground Confluence},
booktitle = {2nd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
series = {LIPIcs},
volume = {84},
pages = {7:1--7:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2017.7},
doi = {10.4230/LIPICS.FSCD.2017.7},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/0001TK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/0001K16,
author = {Takahito Aoto and
Kentaro Kikuchi},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Nominal Confluence Tool},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {173--182},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_12},
doi = {10.1007/978-3-319-40229-1\_12},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/0001K16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/0001T16,
author = {Takahito Aoto and
Yoshihito Toyama},
editor = {Delia Kesner and
Brigitte Pientka},
title = {Ground Confluence Prover based on Rewriting Induction},
booktitle = {1st International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
series = {LIPIcs},
volume = {52},
pages = {33:1--33:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2016.33},
doi = {10.4230/LIPICS.FSCD.2016.33},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/0001T16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sycss/SuzukiK0T16,
author = {Takaki Suzuki and
Kentaro Kikuchi and
Takahito Aoto and
Yoshihito Toyama},
editor = {James H. Davenport and
Fadoua Ghourabi},
title = {Critical Pair Analysis in Nominal Rewriting},
booktitle = {7th International Symposium on Symbolic Computation in Software Science,
{SCSS} 2016, Tokyo, Japan, March 28-31, 2016},
series = {EPiC Series in Computing},
volume = {39},
pages = {156--168},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/7q54},
doi = {10.29007/7Q54},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sycss/SuzukiK0T16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AotoHN0Z15,
author = {Takahito Aoto and
Nao Hirokawa and
Julian Nagele and
Naoki Nishida and
Harald Zankl},
editor = {Amy P. Felty and
Aart Middeldorp},
title = {Confluence Competition 2015},
booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9195},
pages = {101--104},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21401-6\_5},
doi = {10.1007/978-3-319-21401-6\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AotoHN0Z15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SatoK0T15,
author = {Koichi Sato and
Kentaro Kikuchi and
Takahito Aoto and
Yoshihito Toyama},
editor = {Moreno Falaschi},
title = {Correctness of Context-Moving Transformations for Term Rewriting Systems},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {331--345},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_20},
doi = {10.1007/978-3-319-27436-2\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SatoK0T15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SuzukiK0T15,
author = {Takaki Suzuki and
Kentaro Kikuchi and
Takahito Aoto and
Yoshihito Toyama},
editor = {Maribel Fern{\'{a}}ndez},
title = {Confluence of Orthogonal Nominal Rewriting Systems Revisited},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {301--317},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.301},
doi = {10.4230/LIPICS.RTA.2015.301},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/SuzukiK0T15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AotoS14,
author = {Takahito Aoto and
Sorin Stratulat},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Decision Procedures for Proving Inductive Theorems without Induction},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {237--248},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643156},
doi = {10.1145/2643135.2643156},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/AotoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AotoTU14,
author = {Takahito Aoto and
Yoshihito Toyama and
Kazumasa Uchida},
editor = {Gilles Dowek},
title = {Proving Confluence of Term Rewriting Systems via Persistency and Decreasing
Diagrams},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {46--60},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_4},
doi = {10.1007/978-3-319-08918-8\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/AotoTU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Aoto13,
author = {Takahito Aoto},
editor = {Pascal Fontaine and
Christophe Ringeissen and
Renate A. Schmidt},
title = {Disproving Confluence of Term Rewriting Systems by Interpretation
and Ordering},
booktitle = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
2013, Nancy, France, September 18-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8152},
pages = {311--326},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40885-4\_22},
doi = {10.1007/978-3-642-40885-4\_22},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Aoto13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/AotoI13,
author = {Takahito Aoto and
Munehiro Iwami},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Termination of Rule-Based Calculi for Uniform Semi-Unification},
booktitle = {Language and Automata Theory and Applications - 7th International
Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7810},
pages = {56--67},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37064-9\_7},
doi = {10.1007/978-3-642-37064-9\_7},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/AotoI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-5121,
author = {Takahito Aoto and
Yoshihito Toyama},
title = {A Reduction-Preserving Completion for Proving Confluence of Non-Terminating
Term Rewriting Systems},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(1:31)2012},
doi = {10.2168/LMCS-8(1:31)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-5121.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AotoM12,
author = {Takahito Aoto and
Aart Middeldorp},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {464},
pages = {1--2},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.09.009},
doi = {10.1016/J.TCS.2012.09.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AotoM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/AotoK12,
author = {Takahito Aoto and
Jeroen Ketema},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Rational Term Rewriting Revisited: Decidability and Confluence},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {172--186},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_12},
doi = {10.1007/978-3-642-33654-6\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/AotoK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AotoT11,
author = {Takahito Aoto and
Yoshihito Toyama},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {A Reduction-Preserving Completion for Proving Confluence of Non-Terminating
Term Rewriting Systems},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {91--106},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.91},
doi = {10.4230/LIPICS.RTA.2011.91},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/AotoT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AotoYC11,
author = {Takahito Aoto and
Toshiyuki Yamada and
Yuki Chiba},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Natural Inductive Theorems for Higher-Order Rewriting},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {107--121},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.107},
doi = {10.4230/LIPICS.RTA.2011.107},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/AotoYC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ChibaAT10,
author = {Yuki Chiba and
Takahito Aoto and
Yoshihito Toyama},
title = {Program Transformation Templates for Tupling Based on Term Rewriting},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {93-D},
number = {5},
pages = {963--973},
year = {2010},
url = {https://doi.org/10.1587/transinf.E93.D.963},
doi = {10.1587/TRANSINF.E93.D.963},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ChibaAT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Aoto10,
author = {Takahito Aoto},
editor = {Christopher Lynch},
title = {Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling},
booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques
and Applications, {RTA} 2010, July 11-13, 2010, Edinburgh, Scottland,
{UK}},
series = {LIPIcs},
volume = {6},
pages = {7--16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.RTA.2010.7},
doi = {10.4230/LIPICS.RTA.2010.7},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Aoto10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AotoY09,
author = {Takahito Aoto and
Toshiyuki Yamada},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Argument Filterings and Usable Rules for Simply Typed Dependency Pairs},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {117--132},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_7},
doi = {10.1007/978-3-642-04222-5\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AotoY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AotoYT09,
author = {Takahito Aoto and
Junichi Yoshida and
Yoshihito Toyama},
editor = {Ralf Treinen},
title = {Proving Confluence of Term Rewriting Systems Automatically},
booktitle = {Rewriting Techniques and Applications, 20th International Conference,
{RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5595},
pages = {93--102},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02348-4\_7},
doi = {10.1007/978-3-642-02348-4\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/AotoYT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Aoto08,
author = {Takahito Aoto},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Sound Lemma Generation for Proving Inductive Validity of Equations},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {13--24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1737},
doi = {10.4230/LIPICS.FSTTCS.2008.1737},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Aoto08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Aoto06,
author = {Takahito Aoto},
editor = {Frank Pfenning},
title = {Dealing with Non-orientable Equations in Rewriting Induction},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {242--256},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_18},
doi = {10.1007/11805618\_18},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Aoto06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ChibaA06,
author = {Yuki Chiba and
Takahito Aoto},
editor = {Frank Pfenning},
title = {{RAPT:} {A} Program Transformation System Based on Term Rewriting},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {267--276},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_20},
doi = {10.1007/11805618\_20},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ChibaA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ChibaAT05,
author = {Yuki Chiba and
Takahito Aoto and
Yoshihito Toyama},
editor = {Pedro Barahona and
Amy P. Felty},
title = {Program transformation by templates based on term rewriting},
booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 11-13 2005,
Lisbon, Portugal},
pages = {59--69},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1069774.1069780},
doi = {10.1145/1069774.1069780},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/ChibaAT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AotoY05,
author = {Takahito Aoto and
Toshiyuki Yamada},
editor = {J{\"{u}}rgen Giesl},
title = {Dependency Pairs for Simply Typed Term Rewriting},
booktitle = {Term Rewriting and Applications, 16th International Conference, {RTA}
2005, Nara, Japan, April 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3467},
pages = {120--134},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32033-3\_10},
doi = {10.1007/978-3-540-32033-3\_10},
timestamp = {Wed, 25 Sep 2019 18:23:35 +0200},
biburl = {https://dblp.org/rec/conf/rta/AotoY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AotoYT04,
author = {Takahito Aoto and
Toshiyuki Yamada and
Yoshihito Toyama},
editor = {Vincent van Oostrom},
title = {Inductive Theorems for Higher-Order Rewriting},
booktitle = {Rewriting Techniques and Applications, 15th International Conference,
{RTA} 2004, Aachen, Germany, June 3-5, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3091},
pages = {269--284},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25979-4\_19},
doi = {10.1007/978-3-540-25979-4\_19},
timestamp = {Mon, 16 Sep 2019 15:32:17 +0200},
biburl = {https://dblp.org/rec/conf/rta/AotoYT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AotoY03,
author = {Takahito Aoto and
Toshiyuki Yamada},
editor = {Robert Nieuwenhuis},
title = {Termination of Simply Typed Term Rewriting by Translation and Labelling},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {380--394},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_27},
doi = {10.1007/3-540-44881-0\_27},
timestamp = {Sun, 02 Oct 2022 16:14:20 +0200},
biburl = {https://dblp.org/rec/conf/rta/AotoY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Aoto01,
author = {Takahito Aoto},
title = {Solution to the Problem of Zantema on a Persistent Property of Term
Rewriting Systems},
journal = {J. Funct. Log. Program.},
volume = {2001},
number = {11},
year = {2001},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/A2001-11/A2001-11.html},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/Aoto01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Aoto99,
author = {Takahito Aoto},
title = {Uniqueness of Normal Proofs in Implicational Intuitionistic Logic},
journal = {J. Log. Lang. Inf.},
volume = {8},
number = {2},
pages = {217--242},
year = {1999},
url = {https://doi.org/10.1023/A:1008254111992},
doi = {10.1023/A:1008254111992},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Aoto99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/AotoS99,
author = {Takahito Aoto and
Hiroyuki Shirasu},
title = {On the Finite Model Property of Intuitionistic Modal Logics over {MIPC}},
journal = {Math. Log. Q.},
volume = {45},
pages = {435--448},
year = {1999},
url = {https://doi.org/10.1002/malq.19990450402},
doi = {10.1002/MALQ.19990450402},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/AotoS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Aoto98,
author = {Takahito Aoto},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Solution to the Problem of Zantema on a Persistent Property of Term
Rewriting Systems},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {250--265},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056618},
doi = {10.1007/BFB0056618},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Aoto98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AotoT98,
author = {Takahito Aoto and
Yoshihito Toyama},
editor = {Tobias Nipkow},
title = {Termination Transformation by Tree Lifting Ordering},
booktitle = {Rewriting Techniques and Applications, 9th International Conference,
RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1379},
pages = {256--270},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0052375},
doi = {10.1007/BFB0052375},
timestamp = {Sat, 05 Sep 2020 18:07:52 +0200},
biburl = {https://dblp.org/rec/conf/rta/AotoT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AotoT97,
author = {Takahito Aoto and
Yoshihito Toyama},
title = {Persistency of Confluence},
journal = {J. Univers. Comput. Sci.},
volume = {3},
number = {11},
pages = {1134--1147},
year = {1997},
url = {https://doi.org/10.3217/jucs-003-11-1134},
doi = {10.3217/JUCS-003-11-1134},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/AotoT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AotoT97,
author = {Takahito Aoto and
Yoshihito Toyama},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {On Composable Properties of Term Rewriting Systems},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {114--128},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027006},
doi = {10.1007/BFB0027006},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/AotoT97.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 2024-04-25 05:44 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:
