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/journals/fuin/fuin16.bht:"
download as .bib file
@article{DBLP:journals/fuin/AstesianoC92,
author = {Egidio Astesiano and
Maura Cerioli},
title = {Partial higher-order specifications},
journal = {Fundam. Informaticae},
volume = {16},
number = {1},
pages = {101--126},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AstesianoC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Balbiani92,
author = {Philippe Balbiani},
title = {A modal semantics of negation in logic programming},
journal = {Fundam. Informaticae},
volume = {16},
number = {3-4},
pages = {231--262},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Balbiani92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Broy92,
author = {Manfred Broy},
title = {Operational and denotational semantics with explicit concurrency},
journal = {Fundam. Informaticae},
volume = {16},
number = {3-4},
pages = {201--229},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Broy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EgidiHR92,
author = {Lavinia Egidi and
Furio Honsell and
Simona Ronchi Della Rocca},
title = {Operational, denotational and logical descriptions: a case study},
journal = {Fundam. Informaticae},
volume = {16},
number = {1},
pages = {149--169},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EgidiHR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EhrenfeuchtZ92,
author = {Andrzej Ehrenfeucht and
Marek W. Zawadowski},
title = {A representation of partial Boolean algebras},
journal = {Fundam. Informaticae},
volume = {16},
number = {3-4},
pages = {349--353},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EhrenfeuchtZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GasarchSSV92,
author = {William I. Gasarch and
Ramesh K. Sitaraman and
Carl H. Smith and
Mahendran Velauthapillai},
title = {Learning programs with an easy to calculate set of errors},
journal = {Fundam. Informaticae},
volume = {16},
number = {3-4},
pages = {355--370},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GasarchSSV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GelfondP92,
author = {Michael Gelfond and
Halina Przymusinska},
title = {On consistency and completeness of autoepistemic theories},
journal = {Fundam. Informaticae},
volume = {16},
number = {1},
pages = {59--92},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GelfondP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Gorrieri92,
author = {Roberto Gorrieri},
title = {A hierarchy of system descriptions via atomic linear refinement},
journal = {Fundam. Informaticae},
volume = {16},
number = {3-4},
pages = {289--336},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Gorrieri92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HilkenR92,
author = {Barney P. Hilken and
David E. Rydeheard},
title = {Towards a categorical semantics of type classes},
journal = {Fundam. Informaticae},
volume = {16},
number = {1},
pages = {127--147},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HilkenR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Leischner92,
author = {Martin Leischner},
title = {On the compactness theorem of propositional temporal logics},
journal = {Fundam. Informaticae},
volume = {16},
number = {1},
pages = {39--57},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Leischner92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Makinen92,
author = {Erkki M{\"{a}}kinen},
title = {On the generative capacity of context-free matrix grammars over one-letter
alphabet},
journal = {Fundam. Informaticae},
volume = {16},
number = {1},
pages = {93--97},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Makinen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MontanariS92,
author = {Ugo Montanari and
Vladimiro Sassone},
title = {Dynamic congruence vs. progressing bisimulation for {CCS}},
journal = {Fundam. Informaticae},
volume = {16},
number = {1},
pages = {171--199},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MontanariS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NovotnyN92,
author = {Jiri Novotn{\'{y}} and
Miroslav Novotn{\'{y}}},
title = {Notes on the algebraic approach to dependence in information systems},
journal = {Fundam. Informaticae},
volume = {16},
number = {3-4},
pages = {263--273},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NovotnyN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NovotnyP92,
author = {Miroslav Novotn{\'{y}} and
Zdzislaw Pawlak},
title = {On a problem concerning dependence spaces},
journal = {Fundam. Informaticae},
volume = {16},
number = {3-4},
pages = {275--287},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NovotnyP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PaunSV92,
author = {Gheorghe Paun and
Miklos Szijarto and
Sorina Vicolov},
title = {Further remarks on reduced languages},
journal = {Fundam. Informaticae},
volume = {16},
number = {3-4},
pages = {337--347},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PaunSV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Rauszer92,
author = {Cecylia Rauszer},
title = {Logic for information systems},
journal = {Fundam. Informaticae},
volume = {16},
number = {3-4},
pages = {371--382},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Rauszer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RuttenZ92,
author = {Jan J. M. M. Rutten and
Jeffery I. Zucker},
title = {A semantic approach to fairness},
journal = {Fundam. Informaticae},
volume = {16},
number = {1},
pages = {1--38},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/RuttenZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Vakarelov92,
author = {Dimiter Vakarelov},
title = {Inductive modal logics},
journal = {Fundam. Informaticae},
volume = {16},
number = {3-4},
pages = {383--405},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Vakarelov92.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-24 09:51 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:
