Toën, Bertrand Grothendieck’s schematization problem revisited. (Le problème de la schématisation de Grothendieck revisité.) (English. French summary) Zbl 1454.18020 Épijournal de Géom. Algébr., EPIGA 4, Article 14, 21 p. (2020). Reviewer: Marek Golasiński (Olsztyn) MSC: 18N60 14A15 55P15 PDF BibTeX XML Cite \textit{B. Toën}, Épijournal de Géom. Algébr., EPIGA 4, Article 14, 21 p. (2020; Zbl 1454.18020) Full Text: arXiv OpenURL
Humberstone, Lloyd; Hazen, Allen When is a schema not a schema? On a remark by Suszko. (English) Zbl 1484.03004 Stud. Log. 108, No. 2, 199-220 (2020). MSC: 03A05 PDF BibTeX XML Cite \textit{L. Humberstone} and \textit{A. Hazen}, Stud. Log. 108, No. 2, 199--220 (2020; Zbl 1484.03004) Full Text: DOI OpenURL
Freeden, Willi; Nutz, Helga Geodetic observables and their mathematical treatment in multiscale framework. (English) Zbl 1407.86017 Freeden, Willi (ed.) et al., Handbook of mathematical geodesy. Functional analytic and potential theoretic methods. Cham: Birkhäuser. Geosyst. Math., 315-458 (2018). MSC: 86A30 65T60 86-02 PDF BibTeX XML Cite \textit{W. Freeden} and \textit{H. Nutz}, in: Handbook of mathematical geodesy. Functional analytic and potential theoretic methods. Cham: Birkhäuser. 315--458 (2018; Zbl 1407.86017) Full Text: DOI OpenURL
Calardo, Erica; Rotolo, Antonino Quantification in some non-normal modal logics. (English) Zbl 1417.03148 J. Philos. Log. 46, No. 5, 541-576 (2017). MSC: 03B45 PDF BibTeX XML Cite \textit{E. Calardo} and \textit{A. Rotolo}, J. Philos. Log. 46, No. 5, 541--576 (2017; Zbl 1417.03148) Full Text: DOI Link OpenURL
Chankvetadze, Gela; Kurtanidze, Lia; Rukhaia, Mikheil Semi-automated construction of proof schemata. (English) Zbl 1441.68277 Appl. Math. Inform. Mech. 21, No. 2, 74-82 (2016). MSC: 68V15 03B35 PDF BibTeX XML Cite \textit{G. Chankvetadze} et al., Appl. Math. Inform. Mech. 21, No. 2, 74--82 (2016; Zbl 1441.68277) OpenURL
Peltier, Nicolas Reasoning on schemas of formulas: an automata-based approach. (English) Zbl 1451.03018 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 9th international conference, LATA 2015, Nice, France, March 2–6, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8977, 263-274 (2015). MSC: 03B35 03D05 PDF BibTeX XML Cite \textit{N. Peltier}, Lect. Notes Comput. Sci. 8977, 263--274 (2015; Zbl 1451.03018) Full Text: DOI OpenURL
Peltier, Nicolas Tractable and intractable classes of propositional schemata. (English) Zbl 1344.03010 J. Log. Comput. 24, No. 5, 1111-1139 (2014). MSC: 03B05 68Q17 68Q25 PDF BibTeX XML Cite \textit{N. Peltier}, J. Log. Comput. 24, No. 5, 1111--1139 (2014; Zbl 1344.03010) Full Text: DOI OpenURL
Cavicchioli, Alberto; Spaggiari, Fulvia Cyclic branched coverings of some pretzel links. (English) Zbl 1299.57001 Period. Math. Hung. 67, No. 1, 1-14 (2013). Reviewer: Riccardo Piergallini (Camerino) MSC: 57M12 57M25 PDF BibTeX XML Cite \textit{A. Cavicchioli} and \textit{F. Spaggiari}, Period. Math. Hung. 67, No. 1, 1--14 (2013; Zbl 1299.57001) Full Text: DOI OpenURL
Aravantinos, Vincent; Echenim, Mnacho; Peltier, Nicolas A resolution calculus for first-order schemata. (English) Zbl 1319.03033 Fundam. Inform. 125, No. 2, 101-133 (2013). Reviewer: Mauricio Reis (Funchal) MSC: 03B05 03B10 03B35 03B25 68T15 PDF BibTeX XML Cite \textit{V. Aravantinos} et al., Fundam. Inform. 125, No. 2, 101--133 (2013; Zbl 1319.03033) Full Text: DOI OpenURL
Cornaros, Charalampos Weak forms of the regularity principle in the presence of \(\mathrm{IE}_1\). (English) Zbl 1264.03123 Math. Log. Q. 59, No. 1-2, 84-100 (2013). Reviewer: Alexander Kreuzer (Lyon) MSC: 03F30 PDF BibTeX XML Cite \textit{C. Cornaros}, Math. Log. Q. 59, No. 1--2, 84--100 (2013; Zbl 1264.03123) Full Text: DOI OpenURL
Aravantinos, V.; Caferra, R.; Peltier, N. Decidability and undecidability results for propositional schemata. (English) Zbl 1220.68087 J. Artif. Intell. Res. (JAIR) 40, 599-656 (2011). Reviewer: Éric Martin (Sydney) MSC: 68T20 03B05 03B25 68T27 PDF BibTeX XML Cite \textit{V. Aravantinos} et al., J. Artif. Intell. Res. (JAIR) 40, 599--656 (2011; Zbl 1220.68087) Full Text: DOI arXiv OpenURL
Barra, Mathias Bounded minimalisation and bounded counting in argument-bounded idc’s. (English) Zbl 1216.03053 Math. Struct. Comput. Sci. 20, No. 5, 753-779 (2010). MSC: 03D20 03B20 PDF BibTeX XML Cite \textit{M. Barra}, Math. Struct. Comput. Sci. 20, No. 5, 753--779 (2010; Zbl 1216.03053) Full Text: DOI OpenURL
Jacquette, Dale Circularity or lacunae in Tarski’s truth-schemata. (English) Zbl 1298.03023 J. Logic Lang. Inf. 19, No. 3, 315-326 (2010). MSC: 03A05 PDF BibTeX XML Cite \textit{D. Jacquette}, J. Logic Lang. Inf. 19, No. 3, 315--326 (2010; Zbl 1298.03023) Full Text: DOI Link OpenURL
Gómez-Rodríguez, Carlos Parsing schemata for practical text analysis. (English) Zbl 1208.68004 Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory 1. London: Imperial College Press (ISBN 978-1-84816-560-1/hbk; 978-1-84816-561-8/ebook). xiv, 275 p. (2010). MSC: 68-01 68T50 PDF BibTeX XML Cite \textit{C. Gómez-Rodríguez}, Parsing schemata for practical text analysis. London: Imperial College Press (2010; Zbl 1208.68004) Full Text: Link OpenURL
Barbieri, Elena; Cavicchioli, Alberto; Spaggiari, Fulvia Some series of honey-comb spaces. (English) Zbl 1186.57002 Rocky Mt. J. Math. 39, No. 2, 381-398 (2009). Reviewer: Wolfgang Heil (Tallahassee) MSC: 57M12 57M25 57M50 57M60 PDF BibTeX XML Cite \textit{E. Barbieri} et al., Rocky Mt. J. Math. 39, No. 2, 381--398 (2009; Zbl 1186.57002) Full Text: DOI OpenURL
Maruyama, Takashi; Kita, Eisuke Improvement of evolutionary algorithm based on schema exploiter. (English) Zbl 1293.65094 Comput. Assist. Mech. Eng. Sci. 15, No. 2, 85-98 (2008). MSC: 65K10 92D99 PDF BibTeX XML Cite \textit{T. Maruyama} and \textit{E. Kita}, Comput. Assist. Mech. Eng. Sci. 15, No. 2, 85--98 (2008; Zbl 1293.65094) OpenURL
Grigorian, Haik; Shoukourian, Samvel The equivalence problem of multidimensional multitape automata. (English) Zbl 1152.68029 J. Comput. Syst. Sci. 74, No. 7, 1131-1138 (2008). MSC: 68Q45 68Q05 PDF BibTeX XML Cite \textit{H. Grigorian} and \textit{S. Shoukourian}, J. Comput. Syst. Sci. 74, No. 7, 1131--1138 (2008; Zbl 1152.68029) Full Text: DOI OpenURL
Barbieri, Elena; Cavicchioli, Alberto; Spaggiari, Fulvia A generalization of Helling-Kim-Mennicke groups and manifolds. (English) Zbl 1171.57002 J. Lie Theory 17, No. 4, 857-867 (2007). Reviewer: Luisa Paoluzzi (Marseille) MSC: 57M12 57M25 57M50 PDF BibTeX XML Cite \textit{E. Barbieri} et al., J. Lie Theory 17, No. 4, 857--867 (2007; Zbl 1171.57002) Full Text: Link OpenURL
Berzal, F.; Marín, N.; Pons, O.; Vila, M. A. Managing fuzziness on conventional object-oriented platforms. (English) Zbl 1121.68335 Int. J. Intell. Syst. 22, No. 7, 781-803 (2007). MSC: 68P15 68T37 68N19 PDF BibTeX XML Cite \textit{F. Berzal} et al., Int. J. Intell. Syst. 22, No. 7, 781--803 (2007; Zbl 1121.68335) Full Text: DOI OpenURL
Corcoran, John Schemata: the concept of schema in the history of logic. (English) Zbl 1123.03001 Bull. Symb. Log. 12, No. 2, 219-240 (2006). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03-03 03A05 00A30 PDF BibTeX XML Cite \textit{J. Corcoran}, Bull. Symb. Log. 12, No. 2, 219--240 (2006; Zbl 1123.03001) Full Text: DOI OpenURL
Cavicchioli, Alberto; Paoluzzi, Luisa; Spaggiari, Fulvia On the classification of Kim and Kostrikin manifolds. (English) Zbl 1151.57016 J. Knot Theory Ramifications 15, No. 5, 549-569 (2006). MSC: 57M50 57M12 57M60 57N10 PDF BibTeX XML Cite \textit{A. Cavicchioli} et al., J. Knot Theory Ramifications 15, No. 5, 549--569 (2006; Zbl 1151.57016) Full Text: DOI OpenURL
Kuroda, Satoru Recursion schemata for slowly growing depth circuit classes. (English) Zbl 1096.03047 Comput. Complexity 13, No. 1-2, 69-89 (2004). Reviewer: Hrant B. Marandjian (Erevan) MSC: 03D20 03D15 68Q15 94C10 PDF BibTeX XML Cite \textit{S. Kuroda}, Comput. Complexity 13, No. 1--2, 69--89 (2004; Zbl 1096.03047) Full Text: DOI OpenURL
Bartels, Falk Generalised coinduction. (English) Zbl 1025.18002 Math. Struct. Comput. Sci. 13, No. 2, 321-348 (2003). Reviewer: A.Maggiolo-Schettini (Pisa) MSC: 18B20 68Q70 PDF BibTeX XML Cite \textit{F. Bartels}, Math. Struct. Comput. Sci. 13, No. 2, 321--348 (2003; Zbl 1025.18002) Full Text: DOI OpenURL
Mo, Hongqiang; Luo, Fei; Mao, Zongyuan On global rapid optimum seeking of GAs. (Chinese. English summary) Zbl 1012.65060 Control Theory Appl. 19, No. 5, 809-811 (2002). MSC: 65K05 90C30 90C59 PDF BibTeX XML Cite \textit{H. Mo} et al., Control Theory Appl. 19, No. 5, 809--811 (2002; Zbl 1012.65060) OpenURL
Hamfelt, Andreas; Fischer Nilsson, Jørgen; Oldager, Nikolaj Logic program synthesis as problem reduction using combining forms. (English) Zbl 1034.68613 Autom. Softw. Eng. 8, No. 2, 167-193 (2001). MSC: 68U99 68N17 68T05 PDF BibTeX XML Cite \textit{A. Hamfelt} et al., Autom. Softw. Eng. 8, No. 2, 167--193 (2001; Zbl 1034.68613) Full Text: DOI OpenURL
Eiben, A. E.; Rudolph, G. Theory of evolutionary algorithms: A bird’s eye view. (English) Zbl 0938.68142 Theor. Comput. Sci. 229, No. 1-2, 3-9 (1999). MSC: 68W05 PDF BibTeX XML Cite \textit{A. E. Eiben} and \textit{G. Rudolph}, Theor. Comput. Sci. 229, No. 1--2, 3--9 (1999; Zbl 0938.68142) Full Text: DOI OpenURL
Il’in, V. P.; Doledenok, O. A. On approximations of the charge transfer equation in semiconductor. (English) Zbl 0942.65093 Bull. Novosib. Comput. Cent., Ser. Numer. Anal. 1998, No. 8, 17-30 (1998). Reviewer: V.V.Gorshkov (Novosibirsk) MSC: 65M06 78A35 35Q60 35K15 82D37 PDF BibTeX XML Cite \textit{V. P. Il'in} and \textit{O. A. Doledenok}, Bull. Novosib. Comput. Cent., Ser. Numer. Anal. 1998, No. 8, 17--30 (1998; Zbl 0942.65093) OpenURL
Sikkel, Klaas Parsing schemata and correctness of parsing algorithms. (English) Zbl 0902.68113 Theor. Comput. Sci. 199, No. 1-2, 87-103 (1998). MSC: 68N20 PDF BibTeX XML Cite \textit{K. Sikkel}, Theor. Comput. Sci. 199, No. 1--2, 87--103 (1998; Zbl 0902.68113) Full Text: DOI OpenURL
Franklin, Judy A. (ed.); Mitchell, Tom M. (ed.); Thrun, Sebastian (ed.) Recent advances in robot learning. Reprinted from the journal Machine Learning 23, Nos. 2-3 (1996). (English) Zbl 0865.68102 The Kluwer International Series in Engineering and Computer Science 368. Boston, MA: Kluwer Academic Publishers (ISBN 0-7923-9745-2/hbk). 218 p. (1996). Reviewer: U.Hahn (Freiburg i.Br.) MSC: 68T05 00B15 68T99 68-06 PDF BibTeX XML Cite \textit{J. A. Franklin} (ed.) et al., Recent advances in robot learning. Reprinted from the journal Machine Learning 23, Nos. 2-3 (1996). Boston, MA: Kluwer Academic Publishers (1996; Zbl 0865.68102) OpenURL
Beckmann, Arnold; Weiermann, Andreas A term rewriting characterization of the polytime functions and related complexity classes. (English) Zbl 0941.03040 Arch. Math. Logic 36, No. 1, 11-30 (1996). MSC: 03D15 03D20 68Q42 68Q15 PDF BibTeX XML Cite \textit{A. Beckmann} and \textit{A. Weiermann}, Arch. Math. Logic 36, No. 1, 11--30 (1996; Zbl 0941.03040) Full Text: DOI OpenURL
Čižmár, Ján Birational transformations (a historical survey). (Birationale Transformationen (ein historischer Überblick).) (German) Zbl 0874.51010 Period. Polytech., Mech. Eng. 39, No. 1, 9-24 (1995). Reviewer: R.Koch (München) MSC: 51N35 14E07 14-03 01A60 PDF BibTeX XML Cite \textit{J. Čižmár}, Period. Polytech., Mech. Eng. 39, No. 1, 9--24 (1995; Zbl 0874.51010) OpenURL
Bergamaschi, Sonia; Nebel, Bernhard Acquisition and validation of complex object database schemata supporting multiple inheritance. (English) Zbl 0809.68108 Appl. Intell. 4, No. 2, 185-203 (1994). MSC: 68T30 PDF BibTeX XML Cite \textit{S. Bergamaschi} and \textit{B. Nebel}, Appl. Intell. 4, No. 2, 185--203 (1994; Zbl 0809.68108) Full Text: DOI OpenURL
Esparza, Javier; Nielsen, Mogens Decidability issues for Petri nets. (English) Zbl 0791.68123 Bull. EATCS 52, 245-262 (1994). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{J. Esparza} and \textit{M. Nielsen}, Bull. EATCS 52, 245--262 (1994; Zbl 0791.68123) OpenURL
Hegner, Stephen J. Unique complements and decompositions of database schemata. (English) Zbl 0802.68042 J. Comput. Syst. Sci. 48, No. 1, 9-57 (1994). MSC: 68P15 PDF BibTeX XML Cite \textit{S. J. Hegner}, J. Comput. Syst. Sci. 48, No. 1, 9--57 (1994; Zbl 0802.68042) Full Text: DOI OpenURL
Battle, David L.; Vose, Michael D. Isomorphisms of genetic algorithms. (English) Zbl 0788.68112 Artif. Intell. 60, No. 1, 155-165 (1993). MSC: 68T05 92D10 PDF BibTeX XML Cite \textit{D. L. Battle} and \textit{M. D. Vose}, Artif. Intell. 60, No. 1, 155--165 (1993; Zbl 0788.68112) Full Text: DOI OpenURL
Zakharov, V. A. Formal models and free program schemata. (English. Russian original) Zbl 0875.68208 Program. Comput. Softw. 18, No. 2, 49-59 (1992); translation from Programmirovanie 1992, No. 2, 10-23 (1992). MSC: 68N01 68Q60 PDF BibTeX XML Cite \textit{V. A. Zakharov}, Program. Comput. Softw. 18, No. 2, 49--59 (1992; Zbl 0875.68208); translation from Programmirovanie 1992, No. 2, 10--23 (1992) OpenURL
Zhukov, A. V. Scheduling for solution schemata for dynamical problems on the basis of nonprocedural knowledge. (English. Russian original) Zbl 0875.68670 Program. Comput. Softw. 18, No. 2, 43-48 (1992); translation from Programmirovanie 1992, No. 2, 4-10 (1992). MSC: 68Q99 68T99 68M20 68N01 PDF BibTeX XML Cite \textit{A. V. Zhukov}, Program. Comput. Softw. 18, No. 2, 43--48 (1992; Zbl 0875.68670); translation from Programmirovanie 1992, No. 2, 4--10 (1992) OpenURL
Hilken, Barney P.; Rydeheard, David E. Towards a categorical semantics of type classes. (English) Zbl 0762.68043 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 16, No. 2, 127-147 (1992). MSC: 68Q55 68N15 18D30 PDF BibTeX XML Cite \textit{B. P. Hilken} and \textit{D. E. Rydeheard}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 16, No. 2, 127--147 (1992; Zbl 0762.68043) OpenURL
Kuttner, Eliza; Havens, William; Cercone, Nick Processing natural language with schema constraint networks. (English) Zbl 0800.68710 Comput. Math. Appl. 24, No. 11, 3-10 (1992). MSC: 68T10 68N20 PDF BibTeX XML Cite \textit{E. Kuttner} et al., Comput. Math. Appl. 24, No. 11, 3--10 (1992; Zbl 0800.68710) Full Text: DOI OpenURL
Liepins, Gunar E.; Vose, Michael D. Characterizing crossover in genetic algorithms. (English) Zbl 1034.68074 Ann. Math. Artif. Intell. 5, No. 1, 27-34 (1992). MSC: 68T05 PDF BibTeX XML Cite \textit{G. E. Liepins} and \textit{M. D. Vose}, Ann. Math. Artif. Intell. 5, No. 1, 27--34 (1992; Zbl 1034.68074) Full Text: DOI OpenURL
Radcliffe, Nicholas J. Equivalence class analysis of genetic algorithms. (English) Zbl 0745.92015 Complex Syst. 5, No. 2, 183-205 (1991). Reviewer: G.Karigl (Wien) MSC: 92D10 92D20 PDF BibTeX XML Cite \textit{N. J. Radcliffe}, Complex Syst. 5, No. 2, 183--205 (1991; Zbl 0745.92015) OpenURL
Hilken, Barney P.; Rydeheard, David E. Towards a categorical semantics of type classes. (English) Zbl 0777.68064 Mathematical foundations of computer science, Proc. 16th Int. Symp., Kazimierz Dolny/Pol. 1991, Lect. Notes Comput. Sci. 520, 191-201 (1991). MSC: 68Q55 68N15 18D30 03G30 03F05 PDF BibTeX XML Cite \textit{B. P. Hilken} and \textit{D. E. Rydeheard}, Lect. Notes Comput. Sci. 520, 191--201 (1991; Zbl 0777.68064) OpenURL
Allen, Bill Arithmetizing uniform \(NC\). (English) Zbl 0741.03019 Ann. Pure Appl. Logic 53, No. 1, 1-50 (1991). Reviewer: A.Leitsch (Wien) MSC: 03D15 03F30 68Q15 PDF BibTeX XML Cite \textit{B. Allen}, Ann. Pure Appl. Logic 53, No. 1, 1--50 (1991; Zbl 0741.03019) Full Text: DOI OpenURL
Hegner, Stephen J. Foundations of canonical update support for closed database views. (English) Zbl 0789.68032 Database theory, Proc. 3rd Int. Conf., ICDT ’90, Paris/Fr. 1990, Lect. Notes Comput. Sci. 470, 422-436 (1990). MSC: 68P15 PDF BibTeX XML Cite \textit{S. J. Hegner}, Lect. Notes Comput. Sci. 470, 422--436 (1990; Zbl 0789.68032) OpenURL
Godlevskij, A. B.; Kapitonova, Yu. V.; Krivoj, S. L.; Letichevskij, A. A. Iterative methods of program analysis. (English. Russian original) Zbl 0800.68546 Cybernetics 25, No. 2, 139-152 (1989); translation from Kibernetika 1989, No. 2, 10-19 (1989). MSC: 68Q60 68N01 PDF BibTeX XML Cite \textit{A. B. Godlevskij} et al., Cybernetics 25, No. 2, 139--152 (1989; Zbl 0800.68546); translation from Kibernetika 1989, No. 2, 10--19 (1989) Full Text: DOI OpenURL
Val’kovskij, V. A. Parallelization of algorithms and programs. A structural approach. (Rasparallelivanie algoritmov i programm. Strukturnyj podkhod.) (Russian) Zbl 0705.68024 Moskva: Radio i Svyaz’. 176 p. R. 0.70 (1989). Reviewer: M.A.Frumkin MSC: 68N01 68Q10 68W10 68-02 PDF BibTeX XML Cite \textit{V. A. Val'kovskij}, Rasparallelivanie algoritmov i programm. Strukturnyj podkhod (Russian). Moskva: Radio i Svyaz' (1989; Zbl 0705.68024) OpenURL
Cheng, Jie; Irani, Keki B. Ordering problem subgoals. (English) Zbl 0713.68070 IJCAI 89, Proc. Int. Conf., Detroit, MI/USA 1989, 931-936 (1989). Reviewer: N.Curteanu MSC: 68T20 68T15 PDF BibTeX XML OpenURL
Tǎtar, Doina Normalized rewriting systems and applications in the theory of programs. (English) Zbl 0735.68048 An. Univ. Bucur., Mat. 38, No. 2, 76-80 (1989). Reviewer: A.Pettorossi MSC: 68Q42 68Q60 PDF BibTeX XML Cite \textit{D. Tǎtar}, An. Univ. Bucur., Mat. 38, No. 2, 76--80 (1989; Zbl 0735.68048) OpenURL
Goldberg, David E.; Lingle, Robert jun. Alleles, loci, and the traveling salesman problem. (English) Zbl 0674.90095 Genetic algorithms and their applications, Proc. 1st Int. Conf., Pittsburgh/PA 1985, 154-159 (1988). MSC: 90C35 68T05 PDF BibTeX XML OpenURL
Nepejvoda, N. N. A constructive logic of program schemata on a decidable universe. (English) Zbl 0666.03025 Bull. Sect. Logic, Pol. Acad. Sci. 17, No. 3-4, 138-147 (1988). Reviewer: Li Xiang MSC: 03B70 68Q60 PDF BibTeX XML Cite \textit{N. N. Nepejvoda}, Bull. Sect. Logic, Pol. Acad. Sci. 17, No. 3--4, 138--147 (1988; Zbl 0666.03025) OpenURL
Fenstad, Jens Erik Language and computations. (English) Zbl 0658.03017 The universal Turing machine, a half-century survey, 327-347 (1988). Reviewer: B.Wolniewicz MSC: 03B65 PDF BibTeX XML OpenURL
Fenstad, Jens Erik; Halvorsen, Per-Kristian; Langholm, Tore; van Benthem, Johan Situations, language and logic. (English) Zbl 0731.03002 Studies in Linguistics and Philosophy, 34. Dordrecht etc.: D. Reidel Publishing Company. viii, 186 p. £38.75; $ 59.50; Dfl. 125.00 (1987). Reviewer: A.M.Coyne (Asheville) MSC: 03-02 03B65 03B60 03A05 03B45 PDF BibTeX XML Cite \textit{J. E. Fenstad} et al., Situations, language and logic. Dordrecht etc.: D. Reidel Publishing Company (1987; Zbl 0731.03002) OpenURL
Nepomniaschij, V. A.; Shilov, N. V. Non-deterministic program schemata and their relation to dynamic logic. (English) Zbl 0704.03011 Mathematical logic and its applications, Proc. Adv. Int. Summer Sch. Conf., Druzhba/Bulg. 1986, 137-147 (1987). Reviewer: L.Brim MSC: 03B70 68Q10 03B45 68Q60 PDF BibTeX XML OpenURL
Kanovich, M. I. Effective calculus as a means for reduction of selected cases. (Russian) Zbl 0639.68120 Vopr. Kibern., Mosk. 131, 149-167 (1987). Reviewer: W.Zielonka MSC: 68P20 68Q60 68P10 PDF BibTeX XML Cite \textit{M. I. Kanovich}, Vopr. Kibern., Mosk. 131, 149--167 (1987; Zbl 0639.68120) OpenURL
Manna, Zohar; Waldinger, Richard The origin of a binary-search paradigm. (English) Zbl 0636.68118 Sci. Comput. Program. 9, 37-83 (1987). Reviewer: T.Jucan MSC: 68T15 68Q60 PDF BibTeX XML Cite \textit{Z. Manna} and \textit{R. Waldinger}, Sci. Comput. Program. 9, 37--83 (1987; Zbl 0636.68118) Full Text: DOI OpenURL
Kayurov, V. Yu. Algebraic interpretation of R-graphs. (English. Russian original) Zbl 0637.68021 Cybernetics 22, 554-559 (1986); translation from Kibernetika 1986, No. 5, 17-21 (1986). Reviewer: G.Ciobanu MSC: 68Q60 PDF BibTeX XML Cite \textit{V. Yu. Kayurov}, Cybernetics 22, 554--559 (1986; Zbl 0637.68021); translation from Kibernetika 1986, No. 5, 17--21 (1986) Full Text: DOI OpenURL
Kobayashi, Isamu Classification and transformations of binary relationship relation schemata. (English) Zbl 0625.68078 Inf. Syst. 11, 109-122 (1986). Reviewer: H.Luchian MSC: 68P20 68P05 PDF BibTeX XML Cite \textit{I. Kobayashi}, Inf. Syst. 11, 109--122 (1986; Zbl 0625.68078) Full Text: DOI Link OpenURL
Liśkiewicz, M.; Loryś, K.; Piotrow, M. The characterization of some complexity classes by recursion schemata. (English) Zbl 0615.03025 Theory of algorithms, Colloq. Pécs/Hung. 1984, Colloq. Math. Soc. János Bolyai 44, 313-322 (1986). Reviewer: S.P.Yukna MSC: 03D15 03D20 68Q25 PDF BibTeX XML OpenURL
Hull, Richard Relative information capacity of simple relational database schemata. (English) Zbl 0612.68085 SIAM J. Comput. 15, 856-886 (1986). MSC: 68P20 PDF BibTeX XML Cite \textit{R. Hull}, SIAM J. Comput. 15, 856--886 (1986; Zbl 0612.68085) Full Text: DOI OpenURL
Tourlakis, George Some reflections on the foundations of ordinary recursion theory and a new proposal. (English) Zbl 0589.03024 Z. Math. Logik Grundlagen Math. 32, 503-515 (1986). MSC: 03D20 PDF BibTeX XML Cite \textit{G. Tourlakis}, Z. Math. Logik Grundlagen Math. 32, 503--515 (1986; Zbl 0589.03024) Full Text: DOI OpenURL
Kobayashi, Isamu Losslessness and semantic correctness of database schema transformation: Another look of schema equivalence. (English) Zbl 0587.68089 Inf. Syst. 11, 41-59 (1986). MSC: 68P20 PDF BibTeX XML Cite \textit{I. Kobayashi}, Inf. Syst. 11, 41--59 (1986; Zbl 0587.68089) Full Text: DOI OpenURL
Saccà, Domenico Closures of database hypergraphs. (English) Zbl 0628.68076 J. Assoc. Comput. Mach. 32, 774-803 (1985). MSC: 68P15 68R10 05C65 PDF BibTeX XML Cite \textit{D. Saccà}, J. Assoc. Comput. Mach. 32, 774--803 (1985; Zbl 0628.68076) Full Text: DOI OpenURL
Arruda, Ayda Ignez Remarks on da Costa’s paraconsistent set theories. (English) Zbl 0614.03052 Rev. Colomb. Mat. 19, 9-24 (1985). MSC: 03E70 03B60 PDF BibTeX XML Cite \textit{A. I. Arruda}, Rev. Colomb. Mat. 19, 9--24 (1985; Zbl 0614.03052) Full Text: EuDML OpenURL
Tazza, Maurizio Ein netztheoretisches Modell zur quantitativen Analyse von Systemen (Q- Modell). (German) Zbl 0611.90057 Ber. Ges. Math. Datenverarb., Bonn 149, 135 S. (1985). Reviewer: H.Fuss MSC: 90B35 90C35 68Q85 93B99 90B10 68U20 PDF BibTeX XML OpenURL
Ryzhkov, A. P. Organization of the pipeline execution of parallel programs. (English. Russian original) Zbl 0575.68031 Program. Comput. Software 11, 20-27 (1985); translation from Programmirovanie 1985, No. 1, 26-34 (1985). MSC: 68N25 PDF BibTeX XML Cite \textit{A. P. Ryzhkov}, Program. Comput. Softw. 11, 20--27 (1985; Zbl 0575.68031); translation from Programmirovanie 1985, No. 1, 26--34 (1985) OpenURL
Bush, V. J.; Gurd, J. R. Transforming recursive programs for execution on parallel machines. (English) Zbl 0574.68014 Functional programming languages and computer architecture, 2nd Conf., Nancy/France 1985, Lect. Notes Comput. Sci. 201, 350-367 (1985). MSC: 68Q60 68N25 68W99 68Q25 PDF BibTeX XML OpenURL
Hagiya, Masami; Sakurai, Takafumi Foundation of logic programming based on inductive definition. (English) Zbl 0592.68032 New Generation Comput. 2, 59-77 (1984). MSC: 68Q65 03D70 PDF BibTeX XML Cite \textit{M. Hagiya} and \textit{T. Sakurai}, New Generation Comput. 2, 59--77 (1984; Zbl 0592.68032) Full Text: DOI OpenURL
Mazurkiewicz, Antoni Traces, histories, graphs: instances of a process monoid. (English) Zbl 0577.68061 Mathematical foundations of computer science, Proc. 11th Symp., Praha/Czech. 1984, Lect. Notes Comput. Sci. 176, 115-133 (1984). MSC: 68Q99 68Q85 20M35 68Q45 68N25 68Q60 PDF BibTeX XML OpenURL
Thayse, André P-functions and Boolean matrix factorization. A unified approach for wired, programmed and microprogrammed implementations of discrete algorithms. (English) Zbl 0568.68028 Lecture Notes in Computer Science, 175. Berlin etc.: Springer-Verlag. VII, 248 p. DM 36.50; $ 13.30 (1984). Reviewer: A.Michalski MSC: 68W99 68-02 94C10 68N01 68Q60 68Q85 PDF BibTeX XML OpenURL
Lisovik, L. P. Equivalence problem for transformers on \(\Sigma\)-trees with finite-turn counters. (English. Russian original) Zbl 0561.68056 Cybernetics 20, 633-640 (1984); translation from Kibernetika 1984, No. 5, 19-24 (1984). MSC: 68Q45 68Q60 20M35 PDF BibTeX XML Cite \textit{L. P. Lisovik}, Cybernetics 20, 633--640 (1984; Zbl 0561.68056); translation from Kibernetika 1984, No. 5, 19--24 (1984) OpenURL
Skandalis, Kostas Programmable real numbers and functions. (English) Zbl 0561.03023 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 27-56 (1984). Reviewer: L.Brim MSC: 03D20 03F60 68Q65 03B60 PDF BibTeX XML Cite \textit{K. Skandalis}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 27--56 (1984; Zbl 0561.03023) OpenURL
Stapp, Lucjan On P-normal form of parallel program. (English) Zbl 0559.68039 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 367-376 (1984). MSC: 68N25 68Q60 PDF BibTeX XML Cite \textit{L. Stapp}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 367--376 (1984; Zbl 0559.68039) OpenURL
Tsejtlin, G. E. Formal aspects of structured programming with goto statements. (English. Russian original) Zbl 0551.68007 Program. Comput. Software 10, 1-11 (1984); translation from Programmirovanie 1984, No. 1, 3-16 (1984). MSC: 68N01 68Q60 PDF BibTeX XML Cite \textit{G. E. Tsejtlin}, Program. Comput. Softw. 10, 1--11 (1984; Zbl 0551.68007); translation from Programmirovanie 1984, No. 1, 3--16 (1984) OpenURL
Thayse, André Synthesis and asynchronous implementation of algorithms using a generalized P-function concept. (English) Zbl 0546.68031 IEEE Trans. Comput. 33, 861-868 (1984). MSC: 68Q05 68Q85 94C10 68Q60 68N25 68W99 PDF BibTeX XML Cite \textit{A. Thayse}, IEEE Trans. Comput. 33, 861--868 (1984; Zbl 0546.68031) Full Text: DOI OpenURL
Klaeren, Herbert A. A constructive method for abstract algebraic software specification. (English) Zbl 0544.68016 Theor. Comput. Sci. 30, 139-204 (1984). MSC: 68P05 PDF BibTeX XML Cite \textit{H. A. Klaeren}, Theor. Comput. Sci. 30, 139--204 (1984; Zbl 0544.68016) Full Text: DOI OpenURL
Lisovik, L. P. Construction of algebras of transducers with solvable identity problem. (Russian. English summary) Zbl 0543.68009 Dokl. Akad. Nauk Ukr. SSR, Ser. A 1984, No. 2, 78-81 (1984). Reviewer: M.Steinby MSC: 68Q60 03D05 68Q45 PDF BibTeX XML Cite \textit{L. P. Lisovik}, Dokl. Akad. Nauk Ukr. SSR, Ser. A 1984, No. 2, 78--81 (1984; Zbl 0543.68009) OpenURL
Saoudi, A. Infinitary tree languages recognized by \(\omega\)-automata. (English) Zbl 0539.68072 Inf. Process. Lett. 18, 15-19 (1984). Reviewer: M.Kunze MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{A. Saoudi}, Inf. Process. Lett. 18, 15--19 (1984; Zbl 0539.68072) Full Text: DOI OpenURL
Päppinghaus, Peter; Wirsing, Martin Nondeterministic three-valued logic: isotonic and guarded truth-functions. (English) Zbl 0537.68021 Stud. Log. 42, 1-22 (1983). MSC: 68Q60 03B50 68Q65 PDF BibTeX XML Cite \textit{P. Päppinghaus} and \textit{M. Wirsing}, Stud. Log. 42, 1--22 (1983; Zbl 0537.68021) Full Text: DOI OpenURL
Bezdetnyj, B. P.; Glushchenko, A. A.; Dovgij, B. P. Approximate solution of a boundary-value problem of nonlinear optics. (Russian) Zbl 0532.65079 Mat. Fiz. 33, 54-60 (1983). Reviewer: E.Ihle MSC: 65Z05 65N22 65F10 35J65 78A10 PDF BibTeX XML Cite \textit{B. P. Bezdetnyj} et al., Mat. Fiz. 33, 54--60 (1983; Zbl 0532.65079) OpenURL
Rybakova, G. A.; Patsyuk, V. I. Difference methods for the solution of a dynamic problem of the theory of elastic shells. (Russian) Zbl 0524.73088 Mat. Issled. 75, 92-104 (1983). Reviewer: E. Ihle MSC: 74S20 74K25 65N12 PDF BibTeX XML Cite \textit{G. A. Rybakova} and \textit{V. I. Patsyuk}, Mat. Issled. 75, 92--104 (1983; Zbl 0524.73088) Full Text: EuDML OpenURL
Williams, M. H. Flowchart schemata and the problem of nomenclature. (English) Zbl 0515.68011 Comput. J. 26, 270-276 (1983). MSC: 68Q60 68N01 PDF BibTeX XML Cite \textit{M. H. Williams}, Comput. J. 26, 270--276 (1983; Zbl 0515.68011) Full Text: DOI OpenURL
Zlatuska, Jiri Extending some classes of program schemata with decidable equivalence problem. (English) Zbl 0508.68002 Comput. Artif. Intell. 2, 259-268 (1983). MSC: 68Q60 PDF BibTeX XML Cite \textit{J. Zlatuska}, Comput. Artif. Intell. 2, 259--268 (1983; Zbl 0508.68002) OpenURL
Batini, C.; D’Atri, A.; Moscarini, M. Formal tools for top-down and bottom-up generation of acyclic relational schemata. (English) Zbl 0549.68096 Graphtheoretic concepts in computer science, Proc. 7th Conf., Linz/Austria 1981, 219-229 (1982). MSC: 68P20 68Q45 05C65 68R10 PDF BibTeX XML OpenURL
Domrachev, V. N.; Kapitonova, Yu. V.; Samoĭlenko, L. G. On a method for the definition of semantics of constructions of programming languages in terms of typed \(\lambda\)-calculus. (Russian) Zbl 0537.68020 Automation of research in mathematics, Collect. sci. Works, Kiev 1982, 46-54 (1982). Reviewer: J.Zlatuška MSC: 68Q60 03B40 68Q65 03B35 PDF BibTeX XML OpenURL
Marinescu, Gheorghe Schémas d’approximation dans l’analyse classique. (French) Zbl 0533.65030 Actualités mathématiques, Actes 6e Congr. Group. Math. Expr. Latine, Luxembourg 1981, 411-413 (1982). Reviewer: B.Crstici MSC: 65J05 PDF BibTeX XML OpenURL
Kotov, V. E. Formal models of parallel computation. (Russian) Zbl 0524.68014 Algorithms, software and architecture of multiprocessor systems, Moskva 1982, 104-138 (1982). MSC: 68N25 PDF BibTeX XML OpenURL
Val’kovskij, V. A.; Kotov, V. E. Automatic construction of parallel programs. (Russian) Zbl 0524.68010 Algorithms, software and architecture of multiprocessor systems, Moskva 1982, 170-219 (1982). MSC: 68N25 68Q60 PDF BibTeX XML OpenURL
Imielinski, Tomasz; Lipski, Witold jun. A technique for translating states between database schemata. (English) Zbl 0507.68070 Pr. Inst. Podstaw Inf. Pol. Akad. Nauk. 458, 28 p. (1982). MSC: 68P20 PDF BibTeX XML OpenURL
Bentley, Jon Louis; Brown, Donna J. A general class of resource tradeoffs. (English) Zbl 0507.68019 J. Comput. Syst. Sci. 25, 214-238 (1982). MSC: 68W99 68P10 68Q25 PDF BibTeX XML Cite \textit{J. L. Bentley} and \textit{D. J. Brown}, J. Comput. Syst. Sci. 25, 214--238 (1982; Zbl 0507.68019) Full Text: DOI OpenURL
Dassow, Juergen Remark on a problem of Nguyen Xuan My and Paun. (English) Zbl 0506.68062 Elektron. Inform.-verarb. Kybernetik 18, 67-68 (1982). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Dassow}, Elektron. Informationsverarbeitung Kybernetik 18, 67--68 (1982; Zbl 0506.68062) OpenURL
Nguyen Xuan My; Paun, Gheorghe On the generative capacity of contextual schemata with syntactical- invariant choice. (English) Zbl 0506.68061 Elektron. Inform.-verarb. Kybernetik 18, 57-65 (1982). MSC: 68Q45 PDF BibTeX XML Cite \textit{Nguyen Xuan My} and \textit{G. Paun}, Elektron. Informationsverarbeitung Kybernetik 18, 57--65 (1982; Zbl 0506.68061) OpenURL
Guerra, C.; Levialdi, S. Computation models for parallelism. (English) Zbl 0506.68033 Mathematics at the service of man, Proc. 2nd World Conf., Las Palmas/Spain 1982, 323-332 (1982). MSC: 68W99 68-03 68Q60 68Q85 68Q80 PDF BibTeX XML OpenURL
Krinitskij, N. A. Approximate completeness of the system of equivalent schema transformations. (English. Russian original) Zbl 0496.68013 Program. Comput. Software 8, 107-112 (1983); translation from Programmirovanie 1982, No. 3, 3-9 (1982). MSC: 68Q60 PDF BibTeX XML Cite \textit{N. A. Krinitskij}, Program. Comput. Softw. 8, 107--112 (1982; Zbl 0496.68013); translation from Programmirovanie 1982, No. 3, 3--9 (1982) OpenURL
Fal’k, V. N. Equivalence of program schemata, using the facilities of the theory of functional schemata. (English. Russian original) Zbl 0494.68011 Program. Comput. Software 8, 15-20 (1982); translation from Programmirovanie 1982, No. 1, 20-26 (1982). MSC: 68Q60 PDF BibTeX XML Cite \textit{V. N. Fal'k}, Program. Comput. Softw. 8, 15--20 (1982; Zbl 0494.68011); translation from Programmirovanie 1982, No. 1, 20--26 (1982) OpenURL
Feldman, Norman Axiomatization of polynomial substitution algebras. (English) Zbl 0494.03047 J. Symb. Log. 47, 481-492 (1982). MSC: 03G25 03G15 PDF BibTeX XML Cite \textit{N. Feldman}, J. Symb. Log. 47, 481--492 (1982; Zbl 0494.03047) Full Text: DOI OpenURL
Heilbrunner, Stephan; Pohlmann, Werner A technique for recursion removal based on string homomorphisms. (English) Zbl 0492.68016 Sci. Comput. Program. 2, 69-81 (1982). MSC: 68N01 68Q60 PDF BibTeX XML Cite \textit{S. Heilbrunner} and \textit{W. Pohlmann}, Sci. Comput. Program. 2, 69--81 (1982; Zbl 0492.68016) Full Text: DOI OpenURL
Dayal, Umeshwar; Bernstein, Philip A. On the correct translation of update operations on relational views. (English) Zbl 0488.68067 ACM Trans. Database Syst. 7, 381-416 (1982). MSC: 68P20 68P05 PDF BibTeX XML Cite \textit{U. Dayal} and \textit{P. A. Bernstein}, ACM Trans. Database Syst. 7, 381--416 (1982; Zbl 0488.68067) Full Text: DOI OpenURL
Apt, Krzysztof R.; van Emden, M. H. Contributions to the theory of logic programming. (English) Zbl 0483.68004 J. Assoc. Comput. Mach. 29, 841-862 (1982). MSC: 68N01 68Q60 PDF BibTeX XML Cite \textit{K. R. Apt} and \textit{M. H. van Emden}, J. Assoc. Comput. Mach. 29, 841--862 (1982; Zbl 0483.68004) Full Text: DOI Link OpenURL
Podlovchenko, R. I. Semigroup program models. (English. Russian original) Zbl 0482.68016 Program. Comput. Software 7, 181-189 (1981); translation from Programmirovanie 1981, No. 4, 3-13 (1981). MSC: 68Q60 PDF BibTeX XML Cite \textit{R. I. Podlovchenko}, Program. Comput. Softw. 7, 181--189 (1981; Zbl 0482.68016); translation from Programmirovanie 1981, No. 4, 3--13 (1981) OpenURL
Steinberg, David; Rodeh, Michael A layout for the shuffle-exchange network with theta(\(N^ 2\) /log N) area. (English) Zbl 0474.68032 Inf. Process. Lett. 12, 83-88 (1981). MSC: 68N25 94C15 PDF BibTeX XML Cite \textit{D. Steinberg} and \textit{M. Rodeh}, Inf. Process. Lett. 12, 83--88 (1981; Zbl 0474.68032) Full Text: DOI OpenURL