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/fuin4.bht:"
download as .bib file
@article{DBLP:journals/fuin/AlbertMO81,
author = {J{\"{u}}rgen Albert and
Hermann A. Maurer and
Thomas Ottmann},
title = {On subregular {OL} forms},
journal = {Fundam. Informaticae},
volume = {4},
number = {1},
pages = {135--150},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AlbertMO81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AusielloDP81,
author = {Giorgio Ausiello and
Alessandro D'Atri and
Marco Protasi},
title = {Lattice theoretic ordering properties for NP-complete optimization
problems},
journal = {Fundam. Informaticae},
volume = {4},
number = {1},
pages = {83--94},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AusielloDP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM81,
author = {Jan A. Bergstra and
John{-}Jules Ch. Meyer},
title = {On the quantifier-free fragment of 'Logic of effective definitions'},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {935--956},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraT81,
author = {Jan A. Bergstra and
Jerzy Tiuryn},
title = {Logic of effective definitions},
journal = {Fundam. Informaticae},
volume = {4},
number = {3},
pages = {661--674},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraT81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraT81a,
author = {Jan A. Bergstra and
Jerzy Tiuryn},
title = {Algorithmic degrees of algebraic structures},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {851--862},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraT81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraT81b,
author = {Jan A. Bergstra and
Jerzy Tiuryn},
title = {Regular extensions of iterative algebras and metric interpretations},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {997--1014},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BergstraT81b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CaludeP81,
author = {Cristian Calude and
Gheorghe Paun},
title = {Global syntax and semantics for recursively enumerable languages},
journal = {Fundam. Informaticae},
volume = {4},
number = {2},
pages = {245--254},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CaludeP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Danecki81,
author = {R. Danecki},
title = {Multiple regularity and binary ETOL-systems},
journal = {Fundam. Informaticae},
volume = {4},
number = {1},
pages = {19--34},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Danecki81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Danko81,
author = {Wiktor Danko},
title = {A Criterion of Undecidability of Algorithmic Theories},
journal = {Fundam. Informaticae},
volume = {4},
number = {3},
pages = {605--628},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Danko81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Fischer81,
author = {T. R. M. Fischer},
title = {On universal binary search trees},
journal = {Fundam. Informaticae},
volume = {4},
number = {1},
pages = {173--184},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Fischer81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Goeman81,
author = {H. J. M. Goeman},
title = {The arbiter: an active system component for implementing synchronizing
primitives},
journal = {Fundam. Informaticae},
volume = {4},
number = {3},
pages = {517--530},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Goeman81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Gould81,
author = {Jerren Gould},
title = {Automata in random environments},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {1015--1040},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Gould81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Grabowski81,
author = {J. Grabowski},
title = {On partial languages},
journal = {Fundam. Informaticae},
volume = {4},
number = {2},
pages = {427},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Grabowski81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HajekK81,
author = {Petr H{\'{a}}jek and
Petr Kurka},
title = {A second-order dynamic logic with array assignments},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {919--934},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HajekK81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Janicki81,
author = {S. Janicki},
title = {Nonhomogeneous stochastic automata},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {891--918},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Janicki81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Manca81,
author = {Vincenzo Manca},
title = {Computational formalism: abstract combinatory view-point and related
first order logical framework},
journal = {Fundam. Informaticae},
volume = {4},
number = {1},
pages = {3--18},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Manca81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MiglioliO81,
author = {Pierangelo Miglioli and
Mario Ornaghi},
title = {A logically justified model of computation {I}},
journal = {Fundam. Informaticae},
volume = {4},
number = {1},
pages = {151--172},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MiglioliO81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MiglioliO81a,
author = {Pierangelo Miglioli and
Mario Ornaghi},
title = {A logically justified model of computation {II}},
journal = {Fundam. Informaticae},
volume = {4},
number = {2},
pages = {277--342},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MiglioliO81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Mirkowska81,
author = {Grazyna Mirkowska},
title = {{PAL} - propositional algorithmic logic},
journal = {Fundam. Informaticae},
volume = {4},
number = {3},
pages = {675},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Mirkowska81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Mrozek81,
author = {Marian Mrozek},
title = {Generalized inverse of a finite graph},
journal = {Fundam. Informaticae},
volume = {4},
number = {3},
pages = {499--510},
year = {1981},
timestamp = {Tue, 30 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Mrozek81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Muldner81,
author = {Tomasz M{\"{u}}ldner},
title = {On the semantics of parallel programs},
journal = {Fundam. Informaticae},
volume = {4},
number = {1},
pages = {35--82},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Muldner81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Muldner81a,
author = {Tomasz M{\"{u}}ldner},
title = {On the synchronizing tools for parallel programs},
journal = {Fundam. Informaticae},
volume = {4},
number = {1},
pages = {95--134},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Muldner81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Muldner81b,
author = {Tomasz M{\"{u}}ldner},
title = {On the compilation of parallel programs},
journal = {Fundam. Informaticae},
volume = {4},
number = {2},
pages = {207--244},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Muldner81b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Muldner81c,
author = {Tomasz M{\"{u}}ldner},
title = {Implementation and propertives of certain tools for parallel computations},
journal = {Fundam. Informaticae},
volume = {4},
number = {2},
pages = {255--276},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Muldner81c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Nijholt81,
author = {Anton Nijholt},
title = {A survey of normal form covers for regular grammars},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {761--776},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Nijholt81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Novotny81,
author = {Miroslav Novotn{\'{y}}},
title = {On sequents defined by means of information systems},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {1041},
year = {1981},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/Novotny81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Pallo81,
author = {Jean Marcel Pallo},
title = {Word problem in distributed magmas},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {957--974},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Pallo81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Paun81,
author = {Gheorghe Paun},
title = {On eliminating the lambda-rules from simple matrix grammars},
journal = {Fundam. Informaticae},
volume = {4},
number = {1},
pages = {185--196},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Paun81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Przyluski81,
author = {W. Przyluski},
title = {{APC:} the algorithmic predicate calculus},
journal = {Fundam. Informaticae},
volume = {4},
number = {2},
pages = {343--368},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Przyluski81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Ras81,
author = {Zbigniew W. Ras},
title = {Information retrieval systems, an algebraic approach {I}},
journal = {Fundam. Informaticae},
volume = {4},
number = {3},
pages = {551--604},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Ras81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Ras81a,
author = {Zbigniew W. Ras},
title = {Information retrieval systems, an algebraic approach {II}},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {777--818},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Ras81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RozenbergV81,
author = {Grzegorz Rozenberg and
Dirk Vermeir},
title = {A hierarchy of {ETOL} languages with rank},
journal = {Fundam. Informaticae},
volume = {4},
number = {1},
pages = {197},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/RozenbergV81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RudnickiT81,
author = {P. Rudnicki and
A. Trybulec},
title = {A remark on the syntactic partition},
journal = {Fundam. Informaticae},
volume = {4},
number = {3},
pages = {511--516},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/RudnickiT81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Ruohonen81,
author = {Keijo Ruohonen},
title = {On a variant of a method of Berstel's and Nielsen's},
journal = {Fundam. Informaticae},
volume = {4},
number = {2},
pages = {369--400},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Ruohonen81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Szalas81,
author = {Andrzej Szalas},
title = {Algorithmic logic with recursive functions},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {975--996},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Szalas81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Szijarto81,
author = {Miklos Szijarto},
title = {A classification and closure properties of languages for describing
concurrent system behaviours},
journal = {Fundam. Informaticae},
volume = {4},
number = {3},
pages = {531--550},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Szijarto81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Tiuryn81,
author = {Jerzy Tiuryn},
title = {Logic of effective definitions},
journal = {Fundam. Informaticae},
volume = {4},
number = {3},
pages = {629--660},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Tiuryn81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Truszczynski81,
author = {Miroslaw Truszczynski},
title = {Algorithmic aspects of the attribute set minimization problem},
journal = {Fundam. Informaticae},
volume = {4},
number = {2},
pages = {419--426},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Truszczynski81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Urzyczyn81,
author = {Pawel Urzyczyn},
title = {Algorithmic triviality of abstract structures},
journal = {Fundam. Informaticae},
volume = {4},
number = {4},
pages = {819--850},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Urzyczyn81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VermeirS81,
author = {Dirk Vermeir and
Walter J. Savitch},
title = {On the amount of non-determinism in pushdown in pushdown automata},
journal = {Fundam. Informaticae},
volume = {4},
number = {2},
pages = {401--418},
year = {1981},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/VermeirS81.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-31 07:47 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:
