Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "formal idea"
download as .bib file
@article{DBLP:journals/argcom/CaminadaHS22,
author = {Martin Caminada and
Sri Harikrishnan and
Samy S{\'{a}}},
title = {Comparing logic programming and formal argumentation; the case of
ideal and eager semantics},
journal = {Argument Comput.},
volume = {13},
number = {1},
pages = {93--120},
year = {2022},
url = {https://doi.org/10.3233/AAC-200528},
doi = {10.3233/AAC-200528},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/argcom/CaminadaHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tib/Lobo22,
author = {Carlos Lobo},
title = {The limits of the mathematization of the living and the idea of formal
morphology of the living world following Husserlian phenomenology},
journal = {Theory Biosci.},
volume = {141},
number = {2},
pages = {175--202},
year = {2022},
url = {https://doi.org/10.1007/s12064-021-00348-4},
doi = {10.1007/S12064-021-00348-4},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tib/Lobo22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clei/SilveiraBCL22,
author = {Adri{\'{a}}n Silveira and
Gustavo Betarte and
Maximiliano Cristi{\'{a}} and
Carlos Luna},
title = {An Idealized Model for the Formal Security Analysis of the Mimblewimble
Cryptocurrency Protocol},
booktitle = {{XLVIII} Latin American Computer Conference, {CLEI} 2022, Armenia,
Colombia, October 17-21, 2022},
pages = {1--10},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CLEI56649.2022.9959925},
doi = {10.1109/CLEI56649.2022.9959925},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clei/SilveiraBCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/GuyotGLC22,
author = {Alexis Guyot and
Annabelle Gillet and
{\'{E}}ric Leclercq and
Nadine Cullot},
editor = {Bipin C. Desai and
Peter Z. Revesz},
title = {A Formal Framework for Data Lakes Based on Category Theory},
booktitle = {IDEAS'22: International Database Engineered Applications Symposium,
Budapest, Hungary, August 22 - 24, 2022},
pages = {75--83},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3548785.3548797},
doi = {10.1145/3548785.3548797},
timestamp = {Thu, 06 Oct 2022 16:41:28 +0200},
biburl = {https://dblp.org/rec/conf/ideas/GuyotGLC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Watase21a,
author = {Yasushige Watase},
title = {On Primary Ideals. Part {I}},
journal = {Formaliz. Math.},
volume = {29},
number = {2},
pages = {95--101},
year = {2021},
url = {https://doi.org/10.2478/forma-2021-0010},
doi = {10.2478/FORMA-2021-0010},
timestamp = {Tue, 11 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Watase21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijim/AlkhatibJ21,
author = {Asma'a S. Alkhatib and
Suhair A. Jaradat},
title = {The Impact of Blended Learning using the Ideas Box on the Motivation
for Learning Among Non-formal Syrian Female Refugee Students in Jordan},
journal = {Int. J. Interact. Mob. Technol.},
volume = {15},
number = {11},
pages = {81},
year = {2021},
url = {https://doi.org/10.3991/ijim.v15i11.21961},
doi = {10.3991/IJIM.V15I11.21961},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijim/AlkhatibJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Haffner21,
author = {Emmylou Haffner},
title = {The Shaping of Dedekind's Rigorous Mathematics: What Do Dedekind's
Drafts Tell Us about His Ideal of Rigor?},
journal = {Notre Dame J. Formal Log.},
volume = {62},
number = {1},
year = {2021},
url = {https://doi.org/10.1215/00294527-2021-0001},
doi = {10.1215/00294527-2021-0001},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Haffner21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/ChodounskyZ20,
author = {David Chodounsk{\'{y}} and
Jindrich Zapletal},
title = {Ideals and Their Generic Ultrafilters},
journal = {Notre Dame J. Formal Log.},
volume = {61},
number = {3},
pages = {403--408},
year = {2020},
url = {https://doi.org/10.1215/00294527-2020-0012},
doi = {10.1215/00294527-2020-0012},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/ChodounskyZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GaborL20,
author = {Thomas Gabor and
Claudia Linnhoff{-}Popien},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Formal Model for Reasoning About the Ideal Fitness in Evolutionary
Processes},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {473--490},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_28},
doi = {10.1007/978-3-030-61470-6\_28},
timestamp = {Wed, 28 Oct 2020 11:39:03 +0100},
biburl = {https://dblp.org/rec/conf/isola/GaborL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/AsperoHKM19,
author = {David Asper{\'{o}} and
Tapani Hyttinen and
Vadim Kulikov and
Miguel Moreno},
title = {Reducibility of Equivalence Relations Arising from Nonstationary Ideals
under Large Cardinal Assumptions},
journal = {Notre Dame J. Formal Log.},
volume = {60},
number = {4},
pages = {665--682},
year = {2019},
url = {https://doi.org/10.1215/00294527-2019-0024},
doi = {10.1215/00294527-2019-0024},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/AsperoHKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/VatianTOEBRTSG19,
author = {Aleksandra Vatian and
Anna Tatarinova and
Svyatoslav Osipov and
Nikolai Egorov and
Vitalii Boitsov and
Elena Ryngach and
Tatiana Treshkur and
Anatoly Shalyto and
Natalia F. Gusarova},
editor = {Hujun Yin and
David Camacho and
Peter Ti{\~{n}}o and
Antonio J. Tall{\'{o}}n{-}Ballesteros and
Ronaldo Menezes and
Richard Allmendinger},
title = {Retrieving and Processing Information from Clinical Algorithm via
Formal Concept Analysis},
booktitle = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2019
- 20th International Conference, Manchester, UK, November 14-16, 2019,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11871},
pages = {166--174},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33607-3\_19},
doi = {10.1007/978-3-030-33607-3\_19},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ideal/VatianTOEBRTSG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/JoshaghaniBSM19,
author = {Rezvan Joshaghani and
Stacy Black and
Elena Sherman and
Hoda Mehrpouyan},
editor = {Bipin C. Desai and
Dimosthenis Anagnostopoulos and
Yannis Manolopoulos and
Mara Nikolaidou},
title = {Formal specification and verification of user-centric privacy policies
for ubiquitous systems},
booktitle = {Proceedings of the 23rd International Database Applications {\&}
Engineering Symposium, {IDEAS} 2019, Athens, Greece, June 10-12, 2019},
pages = {31:1--31:10},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3331076.3331105},
doi = {10.1145/3331076.3331105},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ideas/JoshaghaniBSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Seldin18,
author = {Jonathan P. Seldin},
title = {Formalism and Structuralism, a Synthesis: the Philosophical Ideas
of H. B. Curry},
journal = {{FLAP}},
volume = {5},
number = {6},
pages = {1301--1306},
year = {2018},
url = {https://www.collegepublications.co.uk/downloads/ifcolog00026.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/Seldin18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Okhotin18,
author = {Alexander Okhotin},
editor = {Shmuel Tomi Klein and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira},
title = {Underlying Principles and Recurring Ideas of Formal Grammars},
booktitle = {Language and Automata Theory and Applications - 12th International
Conference, {LATA} 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10792},
pages = {36--59},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77313-1\_3},
doi = {10.1007/978-3-319-77313-1\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lata/Okhotin18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SiqueiraSS17,
author = {F{\'{a}}bio Levy Siqueira and
Thiago C. de Sousa and
Paulo S{\'{e}}rgio Muniz Silva},
title = {Using {BDD} and {SBVR} to Refine Business Goals into an Event-B Model:
{A} Research Idea},
booktitle = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
2017},
pages = {31--36},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/FormaliSE.2017.5},
doi = {10.1109/FORMALISE.2017.5},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SiqueiraSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispec/MinagarSL17,
author = {Sepehr Minagar and
Balasubramaniam Srinivasan and
Phu Dung Le},
editor = {Joseph K. Liu and
Pierangela Samarati},
title = {A Formal Model for an Ideal {CFI}},
booktitle = {Information Security Practice and Experience - 13th International
Conference, {ISPEC} 2017, Melbourne, VIC, Australia, December 13-15,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10701},
pages = {707--726},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72359-4\_44},
doi = {10.1007/978-3-319-72359-4\_44},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ispec/MinagarSL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Yao16,
author = {Yiyu Yao},
title = {Rough-set concept analysis: Interpreting RS-definable concepts based
on ideas from formal concept analysis},
journal = {Inf. Sci.},
volume = {346-347},
pages = {442--462},
year = {2016},
url = {https://doi.org/10.1016/j.ins.2016.01.091},
doi = {10.1016/J.INS.2016.01.091},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/Yao16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/AlsinetBGG16,
author = {Teresa Alsinet and
Ram{\'{o}}n B{\'{e}}jar and
Llu{\'{\i}}s Godo and
Francesc Guitart},
title = {Formalisation and logical properties of the maximal ideal recursive
semantics for weighted defeasible logic programming},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {28},
number = {1-2},
pages = {275--294},
year = {2016},
url = {https://doi.org/10.1080/0952813X.2015.1024490},
doi = {10.1080/0952813X.2015.1024490},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/AlsinetBGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icis/SeeberWDMVMM16,
author = {Isabella Seeber and
Lena Waizenegger and
Lukas Demetz and
Alexander Benedikt Merz and
Gert{-}Jan de Vreede and
Ronald Maier},
editor = {P{\"{a}}r J. {\AA}gerfalk and
Natalia Levina and
Sia Siew Kien},
title = {IT-Supported Formal Control: How Perceptual (in)Congruence Affects
the Convergence of Crowd-Sourced Ideas},
booktitle = {Proceedings of the International Conference on Information Systems
- Digital Innovation at the Crossroads, {ICIS} 2016, Dublin, Ireland,
December 11-14, 2016},
publisher = {Association for Information Systems},
year = {2016},
url = {http://aisel.aisnet.org/icis2016/HumanBehavior/Presentations/17},
timestamp = {Tue, 23 May 2017 13:25:25 +0200},
biburl = {https://dblp.org/rec/conf/icis/SeeberWDMVMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/FilliatreP16,
author = {Jean{-}Christophe Filli{\^{a}}tre and
M{\'{a}}rio Pereira},
editor = {Sandrine Blazy and
Marsha Chechik},
title = {Producing All Ideals of a Forest, Formally (Verification Pearl)},
booktitle = {Verified Software. Theories, Tools, and Experiments - 8th International
Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9971},
pages = {46--55},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48869-1\_4},
doi = {10.1007/978-3-319-48869-1\_4},
timestamp = {Wed, 25 Sep 2019 18:03:08 +0200},
biburl = {https://dblp.org/rec/conf/vstte/FilliatreP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nafips/Kreinovich15,
author = {Vladik Kreinovich},
title = {Formalizing the informal, precisiating the imprecise: How fuzzy logic
can help mathematicians and physicists by formalizing their intuitive
ideas},
booktitle = {2015 Annual Conference of the North American Fuzzy Information Processing
Society {(NAFIPS)} held jointly with 2015 5th World Conference on
Soft Computing (WConSC), Redmond, WA, USA, August 17-19, 2015},
pages = {1},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/NAFIPS-WConSC.2015.7284119},
doi = {10.1109/NAFIPS-WCONSC.2015.7284119},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/nafips/Kreinovich15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sfsc/KoshelevaRK15,
author = {Olga Kosheleva and
Renata Reiser and
Vladik Kreinovich},
editor = {Rudolf Seising and
Enric Trillas and
Janusz Kacprzyk},
title = {Formalizing the Informal, Precisiating the Imprecise: How Fuzzy Logic
Can Help Mathematicians and Physicists by Formalizing Their Intuitive
Ideas},
booktitle = {Towards the Future of Fuzzy Logic},
series = {Studies in Fuzziness and Soft Computing},
volume = {325},
pages = {301--321},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18750-1\_14},
doi = {10.1007/978-3-319-18750-1\_14},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/sfsc/KoshelevaRK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Bancerek14,
author = {Grzegorz Bancerek},
title = {Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm},
journal = {Formaliz. Math.},
volume = {22},
number = {1},
pages = {37--56},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0005},
doi = {10.2478/FORMA-2014-0005},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Bancerek14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Grabowski13c,
author = {Adam Grabowski},
title = {Prime Filters and Ideals in Distributive Lattices},
journal = {Formaliz. Math.},
volume = {21},
number = {3},
pages = {213--221},
year = {2013},
url = {https://doi.org/10.2478/forma-2013-0023},
doi = {10.2478/FORMA-2013-0023},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Grabowski13c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mima/Angius13,
author = {Nicola Angius},
title = {Abstraction and Idealization in the Formal Verification of Software
Systems},
journal = {Minds Mach.},
volume = {23},
number = {2},
pages = {211--226},
year = {2013},
url = {https://doi.org/10.1007/s11023-012-9289-8},
doi = {10.1007/S11023-012-9289-8},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mima/Angius13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscl/WeibertA13,
author = {Anne Weibert and
Konstantin Aal},
editor = {Nikol Rummel and
Manu Kapur and
Mitchell J. Nathan and
Sadhana Puntambekar},
title = {When Ideas Learn How to Fly: Children at the Intersection of Formal
and Informal Learning Settings},
booktitle = {10th International Conference on Computer-Supported Collaborative
Learning, {CSCL} 2013, Conference Proceedings, Volume 2: Short Papers,
Panels, Posters, Demos {\&} Community Events, June 15-19, 2013,
Madison, WI, {USA}},
pages = {377--378},
publisher = {International Society of the Learning Sciences, LuLu, Amazon},
year = {2013},
url = {https://repository.isls.org/handle/1/1923},
timestamp = {Tue, 27 Apr 2021 17:12:45 +0200},
biburl = {https://dblp.org/rec/conf/cscl/WeibertA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BartheBCCL13,
author = {Gilles Barthe and
Gustavo Betarte and
Juan Diego Campo and
Jes{\'{u}}s Mauricio Chimento and
Carlos Luna},
editor = {Ralph Matthes and
Aleksy Schubert},
title = {Formally Verified Implementation of an Idealized Model of Virtualization},
booktitle = {19th International Conference on Types for Proofs and Programs, {TYPES}
2013, April 22-26, 2013, Toulouse, France},
series = {LIPIcs},
volume = {26},
pages = {45--63},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2013.45},
doi = {10.4230/LIPICS.TYPES.2013.45},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/BartheBCCL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/websci/Debruyne13,
author = {Christophe Debruyne},
editor = {Pieter De Leenheer and
John G. Breslin and
Harith Alani and
Ricard Ruiz De Querol and
Karolin Eva Kappler},
title = {The Relation between a Framework for Collaborative Ontology Engineering
and Nicola Guarino's Terminology and Ideas in "Formal Ontology and
Information Systems"},
booktitle = {Proceedings of the 1st International {IFIP} Working Conference on
Value-Driven Social Semantics {\&} Collective Intelligence co-located
with the 5th Annual {ACM} Web Science Conference (WebSci 2013), Paris,
France, May 1, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1357},
pages = {34--44},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1357/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/websci/Debruyne13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Dufatanye12,
author = {Aimable{-}Andr{\'{e}} Dufatanye},
title = {From the Logical Square to Blanch{\'{e}}'s Hexagon: Formalization,
Applicability and the Idea of the Normative Structure of Thought},
journal = {Logica Universalis},
volume = {6},
number = {1-2},
pages = {45--67},
year = {2012},
url = {https://doi.org/10.1007/s11787-012-0040-2},
doi = {10.1007/S11787-012-0040-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Dufatanye12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cox12,
author = {Sean Cox},
title = {{PFA} and Ideals on {\(\omega\)}\({}_{\mbox{2}}\) Whose Associated
Forcings Are Proper},
journal = {Notre Dame J. Formal Log.},
volume = {53},
number = {3},
pages = {397--412},
year = {2012},
url = {https://doi.org/10.1215/00294527-1716793},
doi = {10.1215/00294527-1716793},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Cox12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sfsc/Termini12b,
author = {Settimo Termini},
editor = {Enric Trillas and
Piero P. Bonissone and
Luis Magdalena and
Janusz Kacprzyk},
title = {Concepts, Theories, and Applications: The Role of "Experimentation"
(and "Context") for Formalizing New Ideas along Innovative Avenues},
booktitle = {Combining Experimentation and Theory - {A} Hommage to Abe Mamdani},
series = {Studies in Fuzziness and Soft Computing},
volume = {271},
pages = {359--370},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-24666-1\_24},
doi = {10.1007/978-3-642-24666-1\_24},
timestamp = {Tue, 16 May 2017 14:24:26 +0200},
biburl = {https://dblp.org/rec/series/sfsc/Termini12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/MoraGEC11,
author = {{\'{A}}ngel Mora and
Inmaculada Perez de Guzm{\'{a}}n and
Manuel Enciso and
Pablo Cordero},
title = {Ideal non-deterministic operators as a formal framework to reduce
the key finding problem},
journal = {Int. J. Comput. Math.},
volume = {88},
number = {9},
pages = {1860--1868},
year = {2011},
url = {https://doi.org/10.1080/00207160.2010.484488},
doi = {10.1080/00207160.2010.484488},
timestamp = {Fri, 23 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/MoraGEC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BartheBCL11,
author = {Gilles Barthe and
Gustavo Betarte and
Juan Diego Campo and
Carlos Luna},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {Formally Verifying Isolation and Availability in an Idealized Model
of Virtualization},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {231--245},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_19},
doi = {10.1007/978-3-642-21437-0\_19},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BartheBCL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/VeerV11,
author = {Gerrit C. van der Veer and
Dhaval Vyas},
editor = {Achim Ebert and
Gerrit C. van der Veer and
Gitta Domik and
Nahum D. Gershon and
Inga Scheler},
title = {Non-formal Techniques for Early Assessment of Design Ideas for Services},
booktitle = {Building Bridges: HCI, Visualization, and Non-formal Modeling - {IFIP}
{WG} 13.7 Workshops on Human-Computer Interaction and Visualization:
7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT
2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8345},
pages = {135--149},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-54894-9\_10},
doi = {10.1007/978-3-642-54894-9\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/VeerV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WangLM10,
author = {Xi Wang and
Shaoying Liu and
Huaikou Miao},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {A Pattern System to Support Refining Informal Ideas into Formal Expressions},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {662--677},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_43},
doi = {10.1007/978-3-642-16901-4\_43},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/WangLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jns/Munnier09,
author = {Alexandre Munnier},
title = {Locomotion of Deformable Bodies in an Ideal Fluid: Newtonian versus
Lagrangian Formalisms},
journal = {J. Nonlinear Sci.},
volume = {19},
number = {6},
pages = {665--715},
year = {2009},
url = {https://doi.org/10.1007/s00332-009-9047-0},
doi = {10.1007/S00332-009-9047-0},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jns/Munnier09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/BelussiCP09,
author = {Alberto Belussi and
Carlo Combi and
Gabriele Pozzani},
editor = {Bipin C. Desai and
Domenico Sacc{\`{a}} and
Sergio Greco},
title = {Formal and conceptual modeling of spatio-temporal granularities},
booktitle = {International Database Engineering and Applications Symposium {(IDEAS}
2009), September 16-18, 2009, Cetraro, Calabria, Italy},
series = {{ACM} International Conference Proceeding Series},
pages = {275--283},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620432.1620462},
doi = {10.1145/1620432.1620462},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ideas/BelussiCP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/CorderoMGE08,
author = {Pablo Cordero and
{\'{A}}ngel Mora and
Inman P. de Guzm{\'{a}}n and
Manuel Enciso},
title = {Non-deterministic ideal operators: An adequate tool for formalization
in Data Bases},
journal = {Discret. Appl. Math.},
volume = {156},
number = {6},
pages = {911--923},
year = {2008},
url = {https://doi.org/10.1016/j.dam.2007.02.014},
doi = {10.1016/J.DAM.2007.02.014},
timestamp = {Fri, 23 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dam/CorderoMGE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/WuD08,
author = {Chenglong Wu and
Yuzhong Ding},
title = {Ideals of BCI-algebras and their Properties},
journal = {Formaliz. Math.},
volume = {16},
number = {1-4},
pages = {109--114},
year = {2008},
url = {https://doi.org/10.2478/v10037-008-0016-0},
doi = {10.2478/V10037-008-0016-0},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/WuD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/Thao07,
author = {Nguyen T. Thao},
title = {Formal Spectral Theory for Ideal Sigma-Delta Quantization with Stationary
Time-Varying Inputs},
booktitle = {Proceedings of the {IEEE} International Conference on Acoustics, Speech,
and Signal Processing, {ICASSP} 2007, Honolulu, Hawaii, USA, April
15-20, 2007},
pages = {1481--1484},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ICASSP.2007.367128},
doi = {10.1109/ICASSP.2007.367128},
timestamp = {Mon, 22 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/Thao07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/DavidSC06,
author = {Nuno David and
Jaime Sim{\~{a}}o Sichman and
Helder Coelho},
editor = {Barbara Dunin{-}Keplicz and
Andrea Omicini and
Julian A. Padget},
title = {Simulation as Formal and Generative Social Science: The Very Idea},
booktitle = {Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06,
Lisbon, Portugal, December 14-15, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {223},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-223/8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/eumas/DavidSC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Eisworth05,
author = {Todd Eisworth},
title = {On Ideals Related to \emph{I}[{\(\lambda\)}]},
journal = {Notre Dame J. Formal Log.},
volume = {46},
number = {3},
pages = {301--307},
year = {2005},
url = {https://doi.org/10.1305/ndjfl/1125409328},
doi = {10.1305/NDJFL/1125409328},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Eisworth05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Ishiu05,
author = {Tetsuya Ishiu},
title = {A Tail Club Guessing Ideal Can Be Saturated without Being a Restriction
of the Nonstationary Ideal},
journal = {Notre Dame J. Formal Log.},
volume = {46},
number = {3},
pages = {327--333},
year = {2005},
url = {https://doi.org/10.1305/ndjfl/1125409331},
doi = {10.1305/NDJFL/1125409331},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Ishiu05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/FurnissDPZ05,
author = {Dominic Furniss and
Alan J. Dix and
Christophe Ponsard and
Guo{-}Qiang Zhang},
editor = {Stephen W. Gilroy and
Michael D. Harrison},
title = {Outdated Ideas of the Design Process and the Future of Formal Models,
Methods and Notations},
booktitle = {Interactive Systems, Design, Specification, and Verification, 12th
International Workshop, {DSVIS} 2005, Newcastle upon Tyne, UK, July
13-15, 2005, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3941},
pages = {265},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11752707\_25},
doi = {10.1007/11752707\_25},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/FurnissDPZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MorvanCBR03,
author = {C{\'{e}}cile Morvan and
Herv{\'{e}} Cormerais and
Jean Buisson and
Pierre{-}Yves Richard},
editor = {Sebastian Engell and
Herv{\'{e}} Gu{\'{e}}guen and
Janan Zaytoon},
title = {Bond Graph Formalism and Linear Complementarity Problem for Hybrid
Systems with Ideal Diodes},
booktitle = {{IFAC} Conference on Analysis and Design of Hybrid Systems, 2003,
St Malo, Brittany, France, June 16-18, 2003},
series = {{IFAC} Proceedings Volumes},
volume = {36},
number = {6},
pages = {211--216},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1474-6670(17)36433-9},
doi = {10.1016/S1474-6670(17)36433-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/MorvanCBR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Berry02,
author = {Daniel M. Berry},
title = {Formal methods: the very idea - Some thoughts about why they work
when they work},
journal = {Sci. Comput. Program.},
volume = {42},
number = {1},
pages = {11--27},
year = {2002},
url = {https://doi.org/10.1016/S0167-6423(01)00026-0},
doi = {10.1016/S0167-6423(01)00026-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Berry02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/Mathuria02,
author = {Anish Mathuria},
title = {Using a Formal Technique for Protocol Idealization: {A} Cautionary
Note},
booktitle = {13th International Workshop on Database and Expert Systems Applications
{(DEXA} 2002), 2-6 September 2002, Aix-en-Provence, France},
pages = {468--472},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DEXA.2002.1045942},
doi = {10.1109/DEXA.2002.1045942},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/Mathuria02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/DeoB00,
author = {Annalisa Di Deo and
Dmitri Boulanger},
editor = {Bipin C. Desai and
Yasushi Kiyoki and
Motomichi Toyama},
title = {A Formal Background to Build Constraint Objects},
booktitle = {2000 International Database Engineering and Applications Symposium,
{IDEAS} 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings},
pages = {7--15},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/IDEAS.2000.880557},
doi = {10.1109/IDEAS.2000.880557},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ideas/DeoB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Lanet00,
author = {Jean{-}Louis Lanet},
editor = {Jonathan P. Bowen and
Steve Dunne and
Andy Galloway and
Steve King},
title = {Are Smart Cards the Ideal Domain for Applying Formal Methods?},
booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
International Conference of {B} and {Z} Users, York, UK, August 29
- September 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1878},
pages = {363--373},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44525-0\_21},
doi = {10.1007/3-540-44525-0\_21},
timestamp = {Thu, 14 Oct 2021 10:43:56 +0200},
biburl = {https://dblp.org/rec/conf/zum/Lanet00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Koshelev98,
author = {Misha Koshelev},
title = {Towards the Use of Aesthetics in Decision Making: Kolmogorov Complexity
Formalizes Birkhoff's Idea},
journal = {Bull. {EATCS}},
volume = {66},
pages = {166--170},
year = {1998},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Koshelev98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Wybraniec-Skardowska98,
author = {Urszula Wybraniec{-}Skardowska},
title = {Logical and Philosophical Ideas in Certain Formal Approaches to Language},
journal = {Synth.},
volume = {116},
number = {2},
pages = {231--277},
year = {1998},
url = {https://doi.org/10.1023/A:1005098325137},
doi = {10.1023/A:1005098325137},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Wybraniec-Skardowska98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/OunisP98,
author = {Iadh Ounis and
Marius Pasca},
editor = {Barry Eaglestone and
Bipin C. Desai and
Jianhua Shao},
title = {A Promising Retrieval Algorithm for Systems Based on the Conceptual
Graphs Formalism},
booktitle = {Proceedings of the 1998 International Database Engineering and Applications
Symposium, {IDEAS} 1998, Cardiff, Wales, UK, July 8-10, 1998},
pages = {121--130},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/IDEAS.1998.694366},
doi = {10.1109/IDEAS.1998.694366},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ideas/OunisP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Berry99,
author = {Daniel M. Berry},
editor = {Luqi and
Manfred Broy},
title = {Formal Methods: The Very Idea Some Thoughts About Why They Work When
They Work},
booktitle = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
for Computer Basesd Systems, Carmel, California, USA, October 23-26,
1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {25},
pages = {10--22},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00127-6},
doi = {10.1016/S1571-0661(04)00127-6},
timestamp = {Wed, 23 Nov 2022 16:14:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Berry99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/EhikioyaB97,
author = {Sylvanus A. Ehikioya and
Ken Barker},
title = {A Formal Specification Strategy for Electronic Commerce},
booktitle = {Proceedings of the International Database Engineering and Applications
Symposium, {IDEAS} 1997, Concordia University, Montreal, Canada, August
25-27, 1997},
pages = {201--210},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/IDEAS.1997.625676},
doi = {10.1109/IDEAS.1997.625676},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ideas/EhikioyaB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Leary94,
author = {Christopher C. Leary},
title = {The Structure of Pleasant Ideals},
journal = {Notre Dame J. Formal Log.},
volume = {35},
number = {2},
pages = {292--298},
year = {1994},
url = {https://doi.org/10.1305/ndjfl/1094061866},
doi = {10.1305/NDJFL/1094061866},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Leary94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Leary91,
author = {Christopher C. Leary},
title = {Pleasant Ideals},
journal = {Notre Dame J. Formal Log.},
volume = {32},
number = {4},
pages = {612--617},
year = {1991},
url = {https://doi.org/10.1305/ndjfl/1093635933},
doi = {10.1305/NDJFL/1093635933},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Leary91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Marker90,
author = {David Marker},
title = {Enumerations of Turing Ideals with Applications},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {4},
pages = {509--514},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635587},
doi = {10.1305/NDJFL/1093635587},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Marker90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Larsen90,
author = {Kim Guldstrand Larsen},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Ideal Specification Formalism + Expressivity + Compositionality +
Decidability + Testability + ..},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {33--56},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039050},
doi = {10.1007/BFB0039050},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Larsen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kreisel87,
author = {Georg Kreisel},
title = {Church's thesis and the ideal of informal rigour},
journal = {Notre Dame J. Formal Log.},
volume = {28},
number = {4},
pages = {499--519},
year = {1987},
url = {https://doi.org/10.1305/ndjfl/1093637646},
doi = {10.1305/NDJFL/1093637646},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kreisel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Jech81,
author = {Thomas Jech},
title = {On the number of generators of an ideal},
journal = {Notre Dame J. Formal Log.},
volume = {22},
number = {2},
pages = {105--108},
year = {1981},
url = {https://doi.org/10.1305/ndjfl/1093883394},
doi = {10.1305/NDJFL/1093883394},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Jech81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hickman78c,
author = {John L. Hickman},
title = {The ideal of orderable subsets of a set},
journal = {Notre Dame J. Formal Log.},
volume = {19},
number = {4},
pages = {593--598},
year = {1978},
url = {https://doi.org/10.1305/ndjfl/1093888506},
doi = {10.1305/NDJFL/1093888506},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hickman78c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Goldstein72,
author = {Marie Goldstein},
title = {The historical development of group theoretical ideas in connection
with Euclid's axiom of congruence},
journal = {Notre Dame J. Formal Log.},
volume = {13},
number = {3},
pages = {331--349},
year = {1972},
url = {https://doi.org/10.1305/ndjfl/1093890620},
doi = {10.1305/NDJFL/1093890620},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Goldstein72.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-13 13:26 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:
