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/tphol/tphol95.bht:"
download as .bib file
@inproceedings{DBLP:conf/tphol/Agerholm95,
author = {Sten Agerholm},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Non-primitive Recursive Function Definitions},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {17--31},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_54},
doi = {10.1007/3-540-60275-5\_54},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Agerholm95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AgerholmG95,
author = {Sten Agerholm and
Michael J. C. Gordon},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Experiments with {ZF} Set Theory in {HOL} and Isabelle},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {32--45},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_55},
doi = {10.1007/3-540-60275-5\_55},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AgerholmG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BlackW95,
author = {Paul E. Black and
Phillip J. Windley},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Autotically Synthesized Term Denotation Predicates: {A} Proof Aid},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {46--57},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_56},
doi = {10.1007/3-540-60275-5\_56},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BlackW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BodeveixF95,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {On the Refinement of symmetric memory protocols},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {58--74},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_57},
doi = {10.1007/3-540-60275-5\_57},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BodeveixF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Boulton95,
author = {Richard J. Boulton},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Combining Decision Procedures in the {HOL} System},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {75--89},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_58},
doi = {10.1007/3-540-60275-5\_58},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Boulton95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Brackin95,
author = {Stephen H. Brackin},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Deciding Cryptographic Protocol Adequacy with {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {90--105},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_59},
doi = {10.1007/3-540-60275-5\_59},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Brackin95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Busch95,
author = {Holger Busch},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {A Practical Method for Reasoning about Distributed Systems in a Theorem
Prover},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {106--121},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_60},
doi = {10.1007/3-540-60275-5\_60},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Busch95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/CollinsS95,
author = {Graham Collins and
Don Syme},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {A Theory of Finite Maps},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {122--137},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_61},
doi = {10.1007/3-540-60275-5\_61},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/CollinsS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Curzon95,
author = {Paul Curzon},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Virtual Theories},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {138--153},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_62},
doi = {10.1007/3-540-60275-5\_62},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/Curzon95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/EisenbieglerK95,
author = {Dirk Eisenbiegler and
Ramayya Kumar},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {An Automata Theory Dedicated towards Formal Circuit Synthesis},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {154--169},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_63},
doi = {10.1007/3-540-60275-5\_63},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/EisenbieglerK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/GunterL95,
author = {Elsa L. Gunter and
Leonid Libkin},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Interfacing {HOL90} with a Functional Database Query Language},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {170--185},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_64},
doi = {10.1007/3-540-60275-5\_64},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/GunterL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Harrison95,
author = {John Harrison},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Floating Point Verification in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {186--199},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_65},
doi = {10.1007/3-540-60275-5\_65},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Harrison95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Harrison95a,
author = {John Harrison},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Inductive Definitions: Automation and Application},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {200--213},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_66},
doi = {10.1007/3-540-60275-5\_66},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Harrison95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Kalvala95,
author = {Sara Kalvala},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {A Formulation of {TLA} in Isabelle},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {214--228},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_67},
doi = {10.1007/3-540-60275-5\_67},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Kalvala95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/KimC95,
author = {Jang Dae Kim and
Shiu{-}Kai Chin},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Formal Verification of Serial Pipeline Multipliers},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {229--244},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_68},
doi = {10.1007/3-540-60275-5\_68},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/KimC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/LangbackaRW95,
author = {Thomas L{\aa}ngbacka and
Rimvydas Ruksenas and
Joakim von Wright},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {TkWinHOL: {A} Tool for Window Inference in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {245--260},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_69},
doi = {10.1007/3-540-60275-5\_69},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/LangbackaRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Loewenstein95,
author = {Paul Loewenstein},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Formal Verification of Counterflow Pipeline Architecture},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {261--276},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_70},
doi = {10.1007/3-540-60275-5\_70},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Loewenstein95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Mohamed95,
author = {Otmane A{\"{\i}}t Mohamed},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Mechanizing a pi-Calculus Equivalence in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {1--16},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_53},
doi = {10.1007/3-540-60275-5\_53},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Mohamed95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Reetz95,
author = {Ralf Reetz},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Deep Embedding {VHDL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {277--292},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_71},
doi = {10.1007/3-540-60275-5\_71},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Reetz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Regensburger95,
author = {Franz Regensburger},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {{HOLCF:} Higher Order Logic of Computable Functions},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {293--307},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_72},
doi = {10.1007/3-540-60275-5\_72},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Regensburger95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/SchubertM95,
author = {E. Thomas Schubert and
Sarah Mocas},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {A Mechanized Logic for Secure Key Escrow Protocol Verification},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {308--323},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_73},
doi = {10.1007/3-540-60275-5\_73},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/SchubertM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Syme95,
author = {Don Syme},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {A New Interface for {HOL} - Ideas, Issues and Implementation},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {324--339},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_74},
doi = {10.1007/3-540-60275-5\_74},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Syme95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Welinder95,
author = {Morten Welinder},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Very Efficient Conversions},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {340--352},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_75},
doi = {10.1007/3-540-60275-5\_75},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Welinder95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Wong95,
author = {Wai Wong},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Recording and Checking {HOL} Proofs},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {353--368},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_76},
doi = {10.1007/3-540-60275-5\_76},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Wong95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/YamamotoNHT95,
author = {Mitsuharu Yamamoto and
Shin{-}ya Nishizaki and
Masami Hagiya and
Yozo Toda},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Formalization of Planar Graphs},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {369--384},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_77},
doi = {10.1007/3-540-60275-5\_77},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/YamamotoNHT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/ZhangBHLO95,
author = {Cui Zhang and
Brian R. Becker and
Mark R. Heckman and
Karl N. Levitt and
Ronald A. Olsson},
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {A Hierarchical Method for Reasoning about Distributed Programming
Languages},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
pages = {385--400},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5\_78},
doi = {10.1007/3-540-60275-5\_78},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/ZhangBHLO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1995,
editor = {E. Thomas Schubert and
Phillip J. Windley and
Jim Alves{-}Foss},
title = {Higher Order Logic Theorem Proving and Its Applications, 8th International
Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {971},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60275-5},
doi = {10.1007/3-540-60275-5},
isbn = {3-540-60275-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/1995.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-30 03:03 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:
