Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Fer-Jan de Vries
@article{DBLP:journals/lmcs/Vries21,
author = {Fer{-}Jan de Vries},
title = {Encoding many-valued logic in {\(\lambda\)}-calculus},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {2},
pages = {25},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(2:25)2021},
doi = {10.46298/LMCS-17(2:25)2021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Vries21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-07667,
author = {Fer{-}Jan de Vries},
title = {Many-valued logics inside {\(\lambda\)}-calculus: Church's rescue
of Russell with B\{{\textbackslash}"\}ohm trees},
journal = {CoRR},
volume = {abs/1810.07667},
year = {2018},
url = {http://arxiv.org/abs/1810.07667},
eprinttype = {arXiv},
eprint = {1810.07667},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-07667.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SeveriV17,
author = {Paula Severi and
Fer{-}Jan de Vries},
title = {The infinitary lambda calculus of the infinite eta B{\"{o}}hm
trees},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {5},
pages = {681--733},
year = {2017},
url = {https://doi.org/10.1017/S096012951500033X},
doi = {10.1017/S096012951500033X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SeveriV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Vries16,
author = {Fer{-}Jan de Vries},
editor = {Delia Kesner and
Brigitte Pientka},
title = {On Undefined and Meaningless in Lambda Definability},
booktitle = {1st International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
series = {LIPIcs},
volume = {52},
pages = {18:1--18:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2016.18},
doi = {10.4230/LIPICS.FSCD.2016.18},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Vries16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KurzPPSV15,
author = {Alexander Kurz and
Alberto Pardo and
Daniela Petrisan and
Paula Severi and
Fer{-}Jan de Vries},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Approximation of Nested Fixpoints - {A} Coalgebraic View of Parametric
Dataypes},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {205--220},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.205},
doi = {10.4230/LIPICS.CALCO.2015.205},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/KurzPPSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KurzPSV13,
author = {Alexander Kurz and
Daniela Petrisan and
Paula Severi and
Fer{-}Jan de Vries},
title = {Nominal Coalgebraic Data Types with Applications to Lambda Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:20)2013},
doi = {10.2168/LMCS-9(4:20)2013},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KurzPSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/SeveriV13,
author = {Paula Severi and
Fer{-}Jan de Vries},
editor = {Masahito Hasegawa},
title = {Completeness of Conversion between Reactive Programs for Ultrametric
Models},
booktitle = {Typed Lambda Calculi and Applications, 11th International Conference,
{TLCA} 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7941},
pages = {221--235},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38946-7\_17},
doi = {10.1007/978-3-642-38946-7\_17},
timestamp = {Sun, 02 Oct 2022 16:16:31 +0200},
biburl = {https://dblp.org/rec/conf/tlca/SeveriV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/KurzPSV12,
author = {Alexander Kurz and
Daniela Petrisan and
Paula Severi and
Fer{-}Jan de Vries},
editor = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {An Alpha-Corecursion Principle for the Infinitary Lambda Calculus},
booktitle = {Coalgebraic Methods in Computer Science - 11th International Workshop,
{CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March
31 - April 1, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7399},
pages = {130--149},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32784-1\_8},
doi = {10.1007/978-3-642-32784-1\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmcs/KurzPSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SeveriV12,
author = {Paula Severi and
Fer{-}Jan de Vries},
editor = {Peter Thiemann and
Robby Bruce Findler},
title = {Pure type systems with corecursion on streams: from finite to infinitary
normalisation},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
pages = {141--152},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364527.2364550},
doi = {10.1145/2364527.2364550},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SeveriV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SeveriV12,
author = {Paula Severi and
Fer{-}Jan de Vries},
editor = {Ashish Tiwari},
title = {Meaningless Sets in Infinitary Combinatory Logic},
booktitle = {23rd International Conference on Rewriting Techniques and Applications
(RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
series = {LIPIcs},
volume = {15},
pages = {288--304},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.RTA.2012.288},
doi = {10.4230/LIPICS.RTA.2012.288},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/SeveriV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SeveriV11,
author = {Paula Severi and
Fer{-}Jan de Vries},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Weakening the Axiom of Overlap in Infinitary Lambda Calculus},
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 = {313--328},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.313},
doi = {10.4230/LIPICS.RTA.2011.313},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/SeveriV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/SeveriV11,
author = {Paula Severi and
Fer{-}Jan de Vries},
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda
Calculus},
booktitle = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
pages = {210--227},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8\_22},
doi = {10.1007/978-3-642-20920-8\_22},
timestamp = {Tue, 01 Jun 2021 15:22:31 +0200},
biburl = {https://dblp.org/rec/conf/wollic/SeveriV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KennawaySSV05,
author = {Richard Kennaway and
Paula Severi and
M. Ronan Sleep and
Fer{-}Jan de Vries},
editor = {Aart Middeldorp and
Vincent van Oostrom and
Femke van Raamsdonk and
Roel C. de Vrijer},
title = {Infinitary Rewriting: From Syntax to Semantics},
booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays
Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3838},
pages = {148--172},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601548\_11},
doi = {10.1007/11601548\_11},
timestamp = {Mon, 16 Sep 2019 15:30:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KennawaySSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SeveriV05,
author = {Paula Severi and
Fer{-}Jan de Vries},
editor = {C.{-}H. Luke Ong},
title = {Order Structures on B{\"{o}}hm-Like Models},
booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3634},
pages = {103--118},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538363\_9},
doi = {10.1007/11538363\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/SeveriV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/SeveriV05,
author = {Paula Severi and
Fer{-}Jan de Vries},
editor = {Pawel Urzyczyn},
title = {Continuity and Discontinuity in Lambda Calculus},
booktitle = {Typed Lambda Calculi and Applications, 7th International Conference,
{TLCA} 2005, Nara, Japan, April 21-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3461},
pages = {369--385},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417170\_27},
doi = {10.1007/11417170\_27},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/SeveriV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Dezani-CiancagliniSV03,
author = {Mariangiola Dezani{-}Ciancaglini and
Paula Severi and
Fer{-}Jan de Vries},
title = {Infinitary lambda calculus and discrimination of Berarducci trees},
journal = {Theor. Comput. Sci.},
volume = {298},
number = {2},
pages = {275--302},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00809-5},
doi = {10.1016/S0304-3975(02)00809-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Dezani-CiancagliniSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BakelBDV02,
author = {Steffen van Bakel and
Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini and
Fer{-}Jan de Vries},
title = {Intersection types for lambda-trees},
journal = {Theor. Comput. Sci.},
volume = {272},
number = {1-2},
pages = {3--40},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00346-7},
doi = {10.1016/S0304-3975(00)00346-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BakelBDV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SeveriV02,
author = {Paula Severi and
Fer{-}Jan de Vries},
editor = {Sophie Tison},
title = {An Extensional B{\"{o}}hm Model},
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 = {159--173},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45610-4\_12},
doi = {10.1007/3-540-45610-4\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/SeveriV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Dezani-CiancagliniSV00,
author = {Mariangiola Dezani{-}Ciancaglini and
Paula Severi and
Fer{-}Jan de Vries},
editor = {David A. Wolfram},
title = {B{\"{o}}hm's theorem for Berarducci trees},
booktitle = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
Australia, January 1-2, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {31},
pages = {34--57},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80329-9},
doi = {10.1016/S1571-0661(05)80329-9},
timestamp = {Fri, 11 Nov 2022 16:02:13 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Dezani-CiancagliniSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/KennawayOV99,
author = {Richard Kennaway and
Vincent van Oostrom and
Fer{-}Jan de Vries},
title = {Meaningless Terms in Rewriting},
journal = {J. Funct. Log. Program.},
volume = {1999},
number = {1},
year = {1999},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-01/A99-01.html},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/KennawayOV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/BarbaneraDV98,
author = {Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini and
Fer{-}Jan de Vries},
editor = {David Gries and
Willem P. de Roever},
title = {Types for trees},
booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
June 1998, Shelter Island, New York, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {125},
pages = {11--29},
publisher = {Chapman {\&} Hall},
year = {1998},
timestamp = {Wed, 30 Apr 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/procomet/BarbaneraDV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KennawayKSV97,
author = {Richard Kennaway and
Jan Willem Klop and
M. Ronan Sleep and
Fer{-}Jan de Vries},
title = {Infinitary Lambda Calculus},
journal = {Theor. Comput. Sci.},
volume = {175},
number = {1},
pages = {93--125},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00171-5},
doi = {10.1016/S0304-3975(96)00171-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KennawayKSV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KennawayKSV96,
author = {Richard Kennaway and
Jan Willem Klop and
M. Ronan Sleep and
Fer{-}Jan de Vries},
title = {Comparing Curried and Uncurried Rewriting},
journal = {J. Symb. Comput.},
volume = {21},
number = {1},
pages = {15--39},
year = {1996},
url = {https://doi.org/10.1006/jsco.1996.0002},
doi = {10.1006/JSCO.1996.0002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KennawayKSV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/KennawayOV96,
author = {Richard Kennaway and
Vincent van Oostrom and
Fer{-}Jan de Vries},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Meaningless Terms in Rewriting},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {254--268},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_17},
doi = {10.1007/3-540-61735-3\_17},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/KennawayOV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KennawayKSV95,
author = {Richard Kennaway and
Jan Willem Klop and
M. Ronan Sleep and
Fer{-}Jan de Vries},
title = {Transfinite Reductions in Orthogonal Term Rewriting Systems},
journal = {Inf. Comput.},
volume = {119},
number = {1},
pages = {18--38},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1075},
doi = {10.1006/INCO.1995.1075},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KennawayKSV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/EijckV95,
author = {Jan van Eijck and
Fer{-}Jan de Vries},
title = {Reasoning about update logic},
journal = {J. Philos. Log.},
volume = {24},
number = {1},
pages = {19--45},
year = {1995},
url = {https://doi.org/10.1007/BF01052729},
doi = {10.1007/BF01052729},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/EijckV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KennawayKSV95,
author = {Richard Kennaway and
Jan Willem Klop and
M. Ronan Sleep and
Fer{-}Jan de Vries},
editor = {Jieh Hsiang},
title = {Infinitary Lambda Calculi and B{\"{o}}hm Models},
booktitle = {Rewriting Techniques and Applications, 6th International Conference,
RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {914},
pages = {257--270},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59200-8\_62},
doi = {10.1007/3-540-59200-8\_62},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/KennawayKSV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KennawayKSV94,
author = {Richard Kennaway and
Jan Willem Klop and
M. Ronan Sleep and
Fer{-}Jan de Vries},
title = {On the Adequacy of Graph Rewriting for Simulating Term Rewriting},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {493--523},
year = {1994},
url = {https://doi.org/10.1145/177492.177577},
doi = {10.1145/177492.177577},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/KennawayKSV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AriolaKKSV94,
author = {Zena M. Ariola and
Richard Kennaway and
Jan Willem Klop and
M. Ronan Sleep and
Fer{-}Jan de Vries},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Syntactic Definitions of Undefined: On Defining the Undefined},
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 = {543--554},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_114},
doi = {10.1007/3-540-57887-0\_114},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AriolaKKSV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/EuckV92,
author = {Jan van Eijck and
Fer{-}Jan de Vries},
title = {Dynamic Interpretation and Hoare Deduction},
journal = {J. Log. Lang. Inf.},
volume = {1},
number = {1},
pages = {1--44},
year = {1992},
url = {https://doi.org/10.1007/BF00203385},
doi = {10.1007/BF00203385},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/EuckV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KennawayKSV91,
author = {Richard Kennaway and
Jan Willem Klop and
M. Ronan Sleep and
Fer{-}Jan de Vries},
editor = {Ronald V. Book},
title = {Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended
Abstract)},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {1--12},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_81},
doi = {10.1007/3-540-53904-2\_81},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/KennawayKSV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DalenV88,
author = {Dirk van Dalen and
Fer{-}Jan de Vries},
title = {Intuitionistic Free Abelian Groups},
journal = {Math. Log. Q.},
volume = {34},
number = {1},
pages = {3--12},
year = {1988},
url = {https://doi.org/10.1002/malq.19880340102},
doi = {10.1002/MALQ.19880340102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DalenV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Vries88,
author = {Fer{-}Jan de Vries},
title = {A functional program for the fast Fourier transform},
journal = {{ACM} {SIGPLAN} Notices},
volume = {23},
number = {1},
pages = {67--74},
year = {1988},
url = {https://doi.org/10.1145/44304.44310},
doi = {10.1145/44304.44310},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Vries88.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 01:50 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:
