Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Adolfo Piperno
@inproceedings{DBLP:journals/corr/abs-1908-08636,
author = {Daniele Gorla and
Ivano Salvo and
Adolfo Piperno},
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {Conflict vs Causality in Event Structures},
booktitle = {Proceedings Combined 26th International Workshop on Expressiveness
in Concurrency and 16th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2019, Amsterdam, The Netherlands, 26th August 2019},
series = {{EPTCS}},
volume = {300},
pages = {86--101},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300.6},
doi = {10.4204/EPTCS.300.6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-08636.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wea/Piperno18,
author = {Adolfo Piperno},
editor = {Gianlorenzo D'Angelo},
title = {Isomorphism Test for Digraphs with Weighted Edges},
booktitle = {17th International Symposium on Experimental Algorithms, {SEA} 2018,
June 27-29, 2018, L'Aquila, Italy},
series = {LIPIcs},
volume = {103},
pages = {30:1--30:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.SEA.2018.30},
doi = {10.4230/LIPICS.SEA.2018.30},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/wea/Piperno18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GuerriniBP17,
author = {Stefano Guerrini and
Henk Barendrengt and
Adolfo Piperno},
title = {Computing with lambda-terms: {A} special issue dedicated to Corrado
B{\"{o}}hm for his 90th birthday},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {5},
pages = {557--559},
year = {2017},
url = {https://doi.org/10.1017/S0960129515000274},
doi = {10.1017/S0960129515000274},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GuerriniBP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/McKayP14,
author = {Brendan D. McKay and
Adolfo Piperno},
title = {Practical graph isomorphism, {II}},
journal = {J. Symb. Comput.},
volume = {60},
pages = {94--112},
year = {2014},
url = {https://doi.org/10.1016/j.jsc.2013.09.003},
doi = {10.1016/J.JSC.2013.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/McKayP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-1493,
author = {Brendan D. McKay and
Adolfo Piperno},
title = {Practical graph isomorphism, {II}},
journal = {CoRR},
volume = {abs/1301.1493},
year = {2013},
url = {http://arxiv.org/abs/1301.1493},
eprinttype = {arXiv},
eprint = {1301.1493},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-1493.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-4881,
author = {Adolfo Piperno},
title = {Search Space Contraction in Canonical Labeling of Graphs (Preliminary
Version)},
journal = {CoRR},
volume = {abs/0804.4881},
year = {2008},
url = {http://arxiv.org/abs/0804.4881},
eprinttype = {arXiv},
eprint = {0804.4881},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-4881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BucciarelliPS03,
author = {Antonio Bucciarelli and
Adolfo Piperno and
Ivano Salvo},
title = {Intersection Types and lambda-Definability},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {1},
pages = {15--53},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003833},
doi = {10.1017/S0960129502003833},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BucciarelliPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GradelHJP03,
author = {Erich Gr{\"{a}}del and
Joseph Y. Halpern and
Radha Jagadeesan and
Adolfo Piperno},
title = {{LICS} 2001 special issue},
journal = {{ACM} Trans. Comput. Log.},
volume = {4},
number = {3},
pages = {295},
year = {2003},
url = {https://doi.org/10.1145/772062.772063},
doi = {10.1145/772062.772063},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GradelHJP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KennawayKP02,
author = {Richard Kennaway and
Zurab Khasidashvili and
Adolfo Piperno},
editor = {Sophie Tison},
title = {Static Analysis of Modularity of beta-Reduction in the Hyperbalanced
lambda-Calculus},
booktitle = {Rewriting Techniques and Applications, 13th International Conference,
{RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2378},
pages = {51--65},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45610-4\_5},
doi = {10.1007/3-540-45610-4\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/KennawayKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KhasidashviliP00,
author = {Zurab Khasidashvili and
Adolfo Piperno},
title = {A syntactical analysis of normalization},
journal = {J. Log. Comput.},
volume = {10},
number = {3},
pages = {381--410},
year = {2000},
url = {https://doi.org/10.1093/logcom/10.3.381},
doi = {10.1093/LOGCOM/10.3.381},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KhasidashviliP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Piperno99,
author = {Adolfo Piperno},
title = {An Algebraic View of the B{\"{o}}hm-Out Technique},
journal = {Theor. Comput. Sci.},
volume = {212},
number = {1-2},
pages = {233--246},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00142-X},
doi = {10.1016/S0304-3975(98)00142-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Piperno99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BucciarelliLPS99,
author = {Antonio Bucciarelli and
Silvia De Lorenzis and
Adolfo Piperno and
Ivano Salvo},
title = {Some Computational Properties of Intersection Types},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {109--118},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782598},
doi = {10.1109/LICS.1999.782598},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BucciarelliLPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comgeo/CrescenziPP98,
author = {Pierluigi Crescenzi and
Paolo Penna and
Adolfo Piperno},
title = {Linear area upward drawings of {AVL} trees},
journal = {Comput. Geom.},
volume = {9},
number = {1-2},
pages = {25--42},
year = {1998},
url = {https://doi.org/10.1016/S0925-7721(97)00013-8},
doi = {10.1016/S0925-7721(97)00013-8},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comgeo/CrescenziPP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Dezani-CiancaglinidP98,
author = {Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro and
Adolfo Piperno},
title = {A Filter Model for Concurrent lambda-Calculus},
journal = {{SIAM} J. Comput.},
volume = {27},
number = {5},
pages = {1376--1419},
year = {1998},
url = {https://doi.org/10.1137/S0097539794275860},
doi = {10.1137/S0097539794275860},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Dezani-CiancaglinidP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KhasidashviliP98,
author = {Zurab Khasidashvili and
Adolfo Piperno},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Normalization of Typable Terms by Superdevelopments},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {260--282},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_18},
doi = {10.1007/10703163\_18},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/KhasidashviliP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Dezani-CiancaglinidP96,
author = {Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro and
Adolfo Piperno},
title = {Filter Models for Conjunctive-Disjunctive lambda-Calculi},
journal = {Theor. Comput. Sci.},
volume = {170},
number = {1-2},
pages = {83--128},
year = {1996},
url = {https://doi.org/10.1016/S0304-3975(96)80703-1},
doi = {10.1016/S0304-3975(96)80703-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Dezani-CiancaglinidP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/deLiguoroP95,
author = {Ugo de'Liguoro and
Adolfo Piperno},
title = {Non Deterministic Extensions of Untyped Lambda-Calculus},
journal = {Inf. Comput.},
volume = {122},
number = {2},
pages = {149--177},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1145},
doi = {10.1006/INCO.1995.1145},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/deLiguoroP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Piperno95,
author = {Adolfo Piperno},
title = {Normalization and Extensionality (Extended Abstract)},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {300--310},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523265},
doi = {10.1109/LICS.1995.523265},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Piperno95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/CosmoP95,
author = {Roberto Di Cosmo and
Adolfo Piperno},
editor = {Mariangiola Dezani{-}Ciancaglini and
Gordon D. Plotkin},
title = {Expanding Extensional Polymorphism},
booktitle = {Typed Lambda Calculi and Applications, Second International Conference
on Typed Lambda Calculi and Applications, {TLCA} '95, Edinburgh, UK,
April 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {902},
pages = {139--153},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014050},
doi = {10.1007/BFB0014050},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/CosmoP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BohmPG94,
author = {Corrado B{\"{o}}hm and
Adolfo Piperno and
Stefano Guerrini},
editor = {Donald Sannella},
title = {Lambda-Definition of Function(al)s by Normal Forms},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {135--149},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_9},
doi = {10.1007/3-540-57880-3\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BohmPG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gd/CrescenziP94,
author = {Pierluigi Crescenzi and
Adolfo Piperno},
editor = {Roberto Tamassia and
Ioannis G. Tollis},
title = {Optimal-Area Upward Drawings of {AVL} Trees},
booktitle = {Graph Drawing, {DIMACS} International Workshop, {GD} '94, Princeton,
New Jersey, USA, October 10-12, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {894},
pages = {307--317},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58950-3\_386},
doi = {10.1007/3-540-58950-3\_386},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gd/CrescenziP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PipernoR94,
author = {Adolfo Piperno and
Simona Ronchi Della Rocca},
title = {Type Inference and Extensionality},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {196--205},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316072},
doi = {10.1109/LICS.1994.316072},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PipernoR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Dezani-CiancaglinidP94,
author = {Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro and
Adolfo Piperno},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Fully Abstract Semantics for Concurrent Lambda-calculus},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {16--35},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_88},
doi = {10.1007/3-540-57887-0\_88},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Dezani-CiancaglinidP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Dezani-CiancaglinidP93,
author = {Mariangiola Dezani{-}Ciancaglini and
Ugo de'Liguoro and
Adolfo Piperno},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {Filter Models for a Parallel and Non Deterministic Lambda-Calculus},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {403--412},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_32},
doi = {10.1007/3-540-57182-5\_32},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Dezani-CiancaglinidP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comgeo/CrescenziBP92,
author = {Pierluigi Crescenzi and
Giuseppe Di Battista and
Adolfo Piperno},
title = {A Note on Optimal Area Algorithms for Upward Drawings of Binary Trees},
journal = {Comput. Geom.},
volume = {2},
pages = {187--200},
year = {1992},
url = {https://doi.org/10.1016/0925-7721(92)90021-J},
doi = {10.1016/0925-7721(92)90021-J},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comgeo/CrescenziBP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/deLiguoroP92,
author = {Ugo de'Liguoro and
Adolfo Piperno},
editor = {Jean{-}Claude Raoult},
title = {Must Preorder in Non-Deterministic Untyped Lambda-Calculus},
booktitle = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
France, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {581},
pages = {203--220},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55251-0\_11},
doi = {10.1007/3-540-55251-0\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/deLiguoroP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LiguoroPS92,
author = {Ugo de'Liguoro and
Adolfo Piperno and
Richard Statman},
title = {Retracts in simply typed lambda-beta-eta-calculus},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {461--469},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185557},
doi = {10.1109/LICS.1992.185557},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/LiguoroPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/PipernoT90,
author = {Adolfo Piperno and
Enrico Tronci},
title = {Regular Systems in lambda-Calculus},
journal = {Int. J. Found. Comput. Sci.},
volume = {1},
number = {3},
pages = {325--340},
year = {1990},
url = {https://doi.org/10.1142/S0129054190000230},
doi = {10.1142/S0129054190000230},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/PipernoT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Piperno89,
author = {Adolfo Piperno},
title = {Abstraction Problems in Combinatory Logic a Compositive Approach},
journal = {Theor. Comput. Sci.},
volume = {66},
number = {1},
pages = {27--43},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90143-6},
doi = {10.1016/0304-3975(89)90143-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Piperno89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BohmP88,
author = {Corrado B{\"{o}}hm and
Adolfo Piperno},
title = {Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {91--101},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5104},
doi = {10.1109/LICS.1988.5104},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BohmP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BohmP87,
author = {Corrado B{\"{o}}hm and
Adolfo Piperno},
editor = {Egon B{\"{o}}rger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {Surjectivity for Finite Sets of Combinators by Weak Reduction},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {27--43},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_27},
doi = {10.1007/3-540-50241-6\_27},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BohmP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Piperno87,
author = {Adolfo Piperno},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {A Compositive Abstraction Algorithm for Combinatory Logic},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 2: Advanced Seminar on Foundations of Innovative Software Development
{II} and Colloquium on Functional and Logic Programming and Specifications
{(CFLP)}},
series = {Lecture Notes in Computer Science},
volume = {250},
pages = {39--51},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0014971},
doi = {10.1007/BFB0014971},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Piperno87.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:41 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:
