Klaeren, Herbert A. A constructive method for abstract algebraic software specification. (English) Zbl 0544.68016 Theor. Comput. Sci. 30, 139-204 (1984). MSC: 68P05 PDFBibTeX XMLCite \textit{H. A. Klaeren}, Theor. Comput. Sci. 30, 139--204 (1984; Zbl 0544.68016) Full Text: DOI
Constable, Robert L.; Gries, David On classes of program schemata. (Russian) Zbl 0408.68019 Kibern. Sb., Nov. Ser. 14, 122-177 (1977). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. L. Constable} and \textit{D. Gries}, Kibern. Sb., Nov. Ser. 14, 122--177 (1977; Zbl 0408.68019)
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 PDFBibTeX XMLCite \textit{A. E. Eiben} and \textit{G. Rudolph}, Theor. Comput. Sci. 229, No. 1--2, 3--9 (1999; Zbl 0938.68142) Full Text: DOI
Yoeli, M.; Ginzburg, A. Control nets for parallel processing. (English) Zbl 0444.68019 Information processing, Proc. IFIP Congr., Tokyo and Melbourne 1980, 71-76 (1980). MSC: 68N25 PDFBibTeX XML
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 PDFBibTeX XML
Klaeren, Herbert A. A simple class of algorithmic specifications for abstract software modules. (English) Zbl 0461.68024 Schr. Inf. Angew. Math., Ber. 58, 16 p. (1980). MSC: 68P05 PDFBibTeX XML
Ershov, A. P. Mixed computation in the class of recursive program schemata. (English) Zbl 0421.68017 Acta Cybern. 4, 19-23 (1978). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. P. Ershov}, Acta Cybern. 4, 19--23 (1978; Zbl 0421.68017)
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 PDFBibTeX XMLCite \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
Hull, Richard Relative information capacity of simple relational database schemata. (English) Zbl 0612.68085 SIAM J. Comput. 15, 856-886 (1986). MSC: 68P20 PDFBibTeX XMLCite \textit{R. Hull}, SIAM J. Comput. 15, 856--886 (1986; Zbl 0612.68085) Full Text: DOI
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 PDFBibTeX XMLCite \textit{S. Bergamaschi} and \textit{B. Nebel}, Appl. Intell. 4, No. 2, 185--203 (1994; Zbl 0809.68108) Full Text: DOI
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 PDFBibTeX XMLCite \textit{N. A. Krinitskij}, Program. Comput. Softw. 8, 107--112 (1982; Zbl 0496.68013); translation from Programmirovanie 1982, No. 3, 3--9 (1982)
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 PDFBibTeX XML
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 PDFBibTeX XML
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 PDFBibTeX XML
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 PDFBibTeX XMLCite \textit{G. E. Tsejtlin}, Program. Comput. Softw. 10, 1--11 (1984; Zbl 0551.68007); translation from Programmirovanie 1984, No. 1, 3--16 (1984)
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 PDFBibTeX XMLCite \textit{D. Tǎtar}, An. Univ. Bucur., Mat. 38, No. 2, 76--80 (1989; Zbl 0735.68048)
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 PDFBibTeX XMLCite \textit{D. L. Battle} and \textit{M. D. Vose}, Artif. Intell. 60, No. 1, 155--165 (1993; Zbl 0788.68112) Full Text: DOI
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 PDFBibTeX XMLCite \textit{G. Chankvetadze} et al., Appl. Math. Inform. Mech. 21, No. 2, 74--82 (2016; Zbl 1441.68277)
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 PDFBibTeX XML
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 PDFBibTeX XMLCite \textit{J. L. Bentley} and \textit{D. J. Brown}, J. Comput. Syst. Sci. 25, 214--238 (1982; Zbl 0507.68019) Full Text: DOI
Mycroft, Alan The theory and practice of transforming call-by-need into call-by-value. (English) Zbl 0435.68015 Int. Symp. Programming, Proc., Paris 1980, Lect. Notes Comput. Sci. 83, 269-281 (1980). MSC: 68Q60 68N01 PDFBibTeX XML
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 PDFBibTeX XMLCite \textit{U. Dayal} and \textit{P. A. Bernstein}, ACM Trans. Database Syst. 7, 381--416 (1982; Zbl 0488.68067) Full Text: DOI
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 PDFBibTeX XMLCite \textit{N. J. Radcliffe}, Complex Syst. 5, No. 2, 183--205 (1991; Zbl 0745.92015)
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 PDFBibTeX XMLCite \textit{R. I. Podlovchenko}, Program. Comput. Softw. 7, 181--189 (1981; Zbl 0482.68016); translation from Programmirovanie 1981, No. 4, 3--13 (1981)
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 PDFBibTeX XMLCite \textit{D. Steinberg} and \textit{M. Rodeh}, Inf. Process. Lett. 12, 83--88 (1981; Zbl 0474.68032) Full Text: DOI
Noah, Aris Predicate-functors and the limits of decidability in logic. (English) Zbl 0416.03014 Notre Dame J. Formal Logic 21, 701-707 (1980). MSC: 03B25 03G99 03G15 03B60 PDFBibTeX XMLCite \textit{A. Noah}, Notre Dame J. Formal Logic 21, 701--707 (1980; Zbl 0416.03014) Full Text: DOI
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 PDFBibTeX XMLCite \textit{D. Jacquette}, J. Logic Lang. Inf. 19, No. 3, 315--326 (2010; Zbl 1298.03023) Full Text: DOI Link
Sin, L. I. Logic-term equivalent transformations of Yanov schemata. (English. Russian original) Zbl 0419.68024 Program. Comput. Software 4, 380-387 (1978); translation from Programmirovanie 1978, No. 6, 11-19 (1978). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. I. Sin}, Program. Comput. Softw. 4, 380--387 (1978; Zbl 0419.68024); translation from Programmirovanie 1978, No. 6, 11--19 (1978)
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 PDFBibTeX XMLCite \textit{N. N. Nepejvoda}, Bull. Sect. Logic, Pol. Acad. Sci. 17, No. 3--4, 138--147 (1988; Zbl 0666.03025)
Nigiyan, S. A. The nonequivalence problem for schemata with memory. (English. Russian original) Zbl 0439.68030 Program. Comput. Software 5, 303-309 (1980); translation from Programmirovanie 1979, No. 5, 11-17 (1979). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. A. Nigiyan}, Program. Comput. Softw. 5, 303--309 (1979; Zbl 0439.68030); translation from Programmirovanie 1979, No. 5, 11--17 (1979)
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 PDFBibTeX XMLCite \textit{L. Humberstone} and \textit{A. Hazen}, Stud. Log. 108, No. 2, 199--220 (2020; Zbl 1484.03004) Full Text: DOI
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 PDFBibTeX XMLCite \textit{A. P. Ryzhkov}, Program. Comput. Softw. 11, 20--27 (1985; Zbl 0575.68031); translation from Programmirovanie 1985, No. 1, 26--34 (1985)
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 PDFBibTeX XMLCite \textit{Z. Manna} and \textit{R. Waldinger}, Sci. Comput. Program. 9, 37--83 (1987; Zbl 0636.68118) Full Text: DOI
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 PDFBibTeX XMLCite \textit{Nguyen Xuan My} and \textit{G. Paun}, Elektron. Informationsverarbeitung Kybernetik 18, 57--65 (1982; Zbl 0506.68061)
Trakhtenbrot, B. A. On relaxation rules in algorithmic logic. (English) Zbl 0438.68003 Mathematical foundations of computer science, Proc. 8th Symp., Olomouc/Czech. 1979, Lect. Notes Comput. Sci. 74, 453-462 (1979). MSC: 68Q65 68Q60 03B60 PDFBibTeX XML
Feferman, Solomon Inductive schemata and recursively continuous functionals. (English) Zbl 0422.03023 Logic colloquium 76, Proc. Conf., Oxford 1976, Stud. Logic Found. Math., Vol. 87, 373-392 (1977). MSC: 03D99 03F99 03D65 PDFBibTeX XML
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 PDFBibTeX XMLCite \textit{J. Corcoran}, Bull. Symb. Log. 12, No. 2, 219--240 (2006; Zbl 1123.03001) Full Text: DOI
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 PDFBibTeX XMLCite \textit{B. Toën}, Épijournal de Géom. Algébr., EPIGA 4, Article 14, 21 p. (2020; Zbl 1454.18020) Full Text: arXiv
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 PDFBibTeX XMLCite \textit{F. Bartels}, Math. Struct. Comput. Sci. 13, No. 2, 321--348 (2003; Zbl 1025.18002) Full Text: DOI
Memmi, G. Fuites dans les réseaux de Petri. (French) Zbl 0394.68043 RAIRO, Inf. Théor. 12, 125-144 (1978). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Memmi}, RAIRO, Inf. Théor. 12, 125--144 (1978; Zbl 0394.68043) Full Text: EuDML
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XML
Esparza, Javier; Nielsen, Mogens Decidability issues for Petri nets. (English) Zbl 0791.68123 Bull. EATCS 52, 245-262 (1994). MSC: 68Q85 68Q10 PDFBibTeX XMLCite \textit{J. Esparza} and \textit{M. Nielsen}, Bull. EATCS 52, 245--262 (1994; Zbl 0791.68123)
Riser, John A simplification procedure for alternational normal schemata. (English) Zbl 0407.03016 Notre Dame J. Formal Logic 20, 765-767 (1979). MSC: 03B05 94C10 PDFBibTeX XMLCite \textit{J. Riser}, Notre Dame J. Formal Logic 20, 765--767 (1979; Zbl 0407.03016) Full Text: DOI
Gotlieb, C. C.; Furtado, A. L. Data schemata based on directed graphs. (English) Zbl 0419.68035 Int. J. Comput. Inform. Sci. 8, 39-73 (1979). MSC: 68P05 68R10 68Q45 68N01 PDFBibTeX XMLCite \textit{C. C. Gotlieb} and \textit{A. L. Furtado}, Int. J. Comput. Inform. Sci. 8, 39--73 (1979; Zbl 0419.68035) Full Text: DOI
Nigiyan, S. A. Partial decidability of the nonequivalence of free schemata. (English. Russian original) Zbl 0427.68018 Program. Comput. Software 5, 93-101 (1979); translation from Programmirovanie 1979, No. 2, 23-33 (1979). MSC: 68Q60 03B25 PDFBibTeX XMLCite \textit{S. A. Nigiyan}, Program. Comput. Softw. 5, 93--101 (1979; Zbl 0427.68018); translation from Programmirovanie 1979, No. 2, 23--33 (1979)
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 PDFBibTeX XMLCite \textit{B. Allen}, Ann. Pure Appl. Logic 53, No. 1, 1--50 (1991; Zbl 0741.03019) Full Text: DOI
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 PDFBibTeX XMLCite \textit{A. I. Arruda}, Rev. Colomb. Mat. 19, 9--24 (1985; Zbl 0614.03052) Full Text: EuDML
Gandy, R. O.; Hyland, J. M. E. Computable and recursively countable functions of higher type. (English) Zbl 0422.03022 Logic colloquium 76, Proc. Conf., Oxford 1976, Stud. Logic Found. Math., Vol. 87, 407-438 (1977). MSC: 03D99 03D65 03F99 03D60 PDFBibTeX XML
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 PDFBibTeX XML
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 PDFBibTeX XMLCite \textit{J. Dassow}, Elektron. Informationsverarbeitung Kybernetik 18, 67--68 (1982; Zbl 0506.68062)
Itkin, V. Eh. Equivalence of free flow charts. (Russian) Zbl 0393.68051 Kibernetika, Kiev 1978, No. 1, 1-9 (1978). MSC: 68W99 68N01 68Q25 PDFBibTeX XMLCite \textit{V. Eh. Itkin}, Kibernetika 1978, No. 1, 1--9 (1978; Zbl 0393.68051)
Č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 PDFBibTeX XMLCite \textit{J. Čižmár}, Period. Polytech., Mech. Eng. 39, No. 1, 9--24 (1995; Zbl 0874.51010)
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 PDFBibTeX XMLCite \textit{F. Berzal} et al., Int. J. Intell. Syst. 22, No. 7, 781--803 (2007; Zbl 1121.68335) Full Text: DOI
Podlovchenko, R. I. Über die Korrektheit und die Reichhaltigkeit von einigen Äquivalenzrelationen zwischen Schemata von Yanov. (Russian) Zbl 0425.68019 Probl. Kibern. 33, 179-207 (1978). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. I. Podlovchenko}, Probl. Kibern. 33, 179--207 (1978; Zbl 0425.68019)
Nigmatullin, R. G. Computation of Boolean functions on digital machines. (English. Russian original) Zbl 0397.68060 Program. Comput. Software 2, 432-439 (1976); translation from Programmirovanie 1976, No. 6, 26-34 (1976). MSC: 68Q45 94C10 68Q25 03D60 68N01 68N99 PDFBibTeX XMLCite \textit{R. G. Nigmatullin}, Program. Comput. Softw. 2, 432--439 (1976; Zbl 0397.68060); translation from Programmirovanie 1976, No. 6, 26--34 (1976)
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 PDFBibTeX XMLCite \textit{T. Maruyama} and \textit{E. Kita}, Comput. Assist. Mech. Eng. Sci. 15, No. 2, 85--98 (2008; Zbl 1293.65094)
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 PDFBibTeX XMLCite \textit{N. Peltier}, Lect. Notes Comput. Sci. 8977, 263--274 (2015; Zbl 1451.03018) Full Text: DOI
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 PDFBibTeX XMLCite \textit{J. E. Fenstad} et al., Situations, language and logic. Dordrecht etc.: D. Reidel Publishing Company (1987; Zbl 0731.03002)
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 PDFBibTeX XMLCite \textit{V. Aravantinos} et al., Fundam. Inform. 125, No. 2, 101--133 (2013; Zbl 1319.03033) Full Text: DOI
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 PDFBibTeX XMLCite \textit{M. Hagiya} and \textit{T. Sakurai}, New Generation Comput. 2, 59--77 (1984; Zbl 0592.68032) Full Text: DOI
Saccà, Domenico Closures of database hypergraphs. (English) Zbl 0628.68076 J. Assoc. Comput. Mach. 32, 774-803 (1985). MSC: 68P15 68R10 05C65 PDFBibTeX XMLCite \textit{D. Saccà}, J. Assoc. Comput. Mach. 32, 774--803 (1985; Zbl 0628.68076) Full Text: DOI
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 PDFBibTeX XMLCite \textit{V. Aravantinos} et al., J. Artif. Intell. Res. (JAIR) 40, 599--656 (2011; Zbl 1220.68087) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{K. Sikkel}, Theor. Comput. Sci. 199, No. 1--2, 87--103 (1998; Zbl 0902.68113) Full Text: DOI
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 PDFBibTeX XMLCite \textit{V. A. Val'kovskij}, Rasparallelivanie algoritmov i programm. Strukturnyj podkhod (Russian). Moskva: Radio i Svyaz' (1989; Zbl 0705.68024)
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 PDFBibTeX XMLCite \textit{N. Peltier}, J. Log. Comput. 24, No. 5, 1111--1139 (2014; Zbl 1344.03010) Full Text: DOI
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 PDFBibTeX XMLCite \textit{E. Calardo} and \textit{A. Rotolo}, J. Philos. Log. 46, No. 5, 541--576 (2017; Zbl 1417.03148) Full Text: DOI Link
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 PDFBibTeX XML
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 PDFBibTeX XMLCite \textit{A. Beckmann} and \textit{A. Weiermann}, Arch. Math. Logic 36, No. 1, 11--30 (1996; Zbl 0941.03040) Full Text: DOI
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 PDFBibTeX XMLCite \textit{I. Kobayashi}, Inf. Syst. 11, 41--59 (1986; Zbl 0587.68089) Full Text: DOI
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 PDFBibTeX XMLCite \textit{A. Thayse}, IEEE Trans. Comput. 33, 861--868 (1984; Zbl 0546.68031) Full Text: DOI
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{M. I. Kanovich}, Vopr. Kibern., Mosk. 131, 149--167 (1987; Zbl 0639.68120)
Feldman, Norman Axiomatization of polynomial substitution algebras. (English) Zbl 0494.03047 J. Symb. Log. 47, 481-492 (1982). MSC: 03G25 03G15 PDFBibTeX XMLCite \textit{N. Feldman}, J. Symb. Log. 47, 481--492 (1982; Zbl 0494.03047) Full Text: DOI
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 PDFBibTeX XMLCite \textit{G. Tourlakis}, Z. Math. Logik Grundlagen Math. 32, 503--515 (1986; Zbl 0589.03024) Full Text: DOI
Itkin, V. Eh.; De, Sin Men Combination equivalence of Yanov schemata. (English. Russian original) Zbl 0419.68023 Program. Comput. Software 4, 9-17 (1978); translation from Programmirovanie 1978, No. 1, 12-21 (1978). MSC: 68Q60 PDFBibTeX XMLCite \textit{V. Eh. Itkin} and \textit{S. M. De}, Program. Comput. Softw. 4, 9--17 (1978; Zbl 0419.68023); translation from Programmirovanie 1978, No. 1, 12--21 (1978)
Horejs, J. Partial interpretations of program schemata. (English) Zbl 0466.68018 Mathematical foundations of computer science 1981, Proc. 10th Symp., Strbske Pleso/Czech. 1981, Lect. Notes Comput. Sci. 118, 296-303 (1981). MSC: 68Q60 68W99 68W30 03D60 PDFBibTeX XML
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: Luboš Brim (Brno) MSC: 03B70 68Q10 03B45 68Q60 PDFBibTeX XML
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 PDFBibTeX XMLCite \textit{L. P. Lisovik}, Dokl. Akad. Nauk Ukr. SSR, Ser. A 1984, No. 2, 78--81 (1984; Zbl 0543.68009)
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 PDFBibTeX XMLCite \textit{H. Grigorian} and \textit{S. Shoukourian}, J. Comput. Syst. Sci. 74, No. 7, 1131--1138 (2008; Zbl 1152.68029) Full Text: DOI
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 PDFBibTeX XMLCite \textit{L. P. Lisovik}, Cybernetics 20, 633--640 (1984; Zbl 0561.68056); translation from Kibernetika 1984, No. 5, 19--24 (1984)
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 PDFBibTeX XMLCite \textit{L. Stapp}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 367--376 (1984; Zbl 0559.68039)
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 PDFBibTeX XML
Pottosin, I. V.; Yugrinova, O. V. Toward a theory of loop cleaning. (English. Russian original) Zbl 0468.68004 Program. Comput. Software 6, 223-235 (1980); translation from Programmirovanie 1980, No. 5, 3-16 (1980). MSC: 68N01 68Q60 PDFBibTeX XMLCite \textit{I. V. Pottosin} and \textit{O. V. Yugrinova}, Program. Comput. Softw. 6, 223--235 (1980; Zbl 0468.68004); translation from Programmirovanie 1980, No. 5, 3--16 (1980)
Val’kovskij, V. A. Parallel operator schemata over variable arrays and the maximal parallelism problem. (English. Russian original) Zbl 0445.68007 Cybernetics 15, 661-673 (1980); translation from Kibernetika 1979, No. 5, 52-63 (1979). MSC: 68Q60 PDFBibTeX XMLCite \textit{V. A. Val'kovskij}, Cybernetics 15, 661--673 (1979; Zbl 0445.68007); translation from Kibernetika 1979, No. 5, 52--63 (1979) Full Text: DOI
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 PDFBibTeX XMLCite \textit{A. Cavicchioli} and \textit{F. Spaggiari}, Period. Math. Hung. 67, No. 1, 1--14 (2013; Zbl 1299.57001) Full Text: DOI
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 PDFBibTeX XML
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 PDFBibTeX XMLCite \textit{P. Päppinghaus} and \textit{M. Wirsing}, Stud. Log. 42, 1--22 (1983; Zbl 0537.68021) Full Text: DOI
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 PDFBibTeX XMLCite \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)
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 PDFBibTeX XMLCite \textit{S. Kuroda}, Comput. Complexity 13, No. 1--2, 69--89 (2004; Zbl 1096.03047) Full Text: DOI
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 PDFBibTeX XMLCite \textit{I. Kobayashi}, Inf. Syst. 11, 109--122 (1986; Zbl 0625.68078) Full Text: DOI Link
DeMillo, R. A.; Vairavan, K.; Sycara-Cyranski, E. A study of schedules as models of synchronous parallel computation. (English) Zbl 0403.68027 J. Assoc. Comput. Mach. 24, 544-565 (1977). MSC: 68N25 68Q60 68M20 PDFBibTeX XMLCite \textit{R. A. DeMillo} et al., J. Assoc. Comput. Mach. 24, 544--565 (1977; Zbl 0403.68027) Full Text: DOI
Shukuryan, S. K. A result concerning the functional equivalence of program schemata with nondegenerate statements. (English. Russian original) Zbl 0428.68022 Program. Comput. Software 5, 106-113 (1979); translation from Programmirovanie 1979, No. 2, 41-49 (1979). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. K. Shukuryan}, Program. Comput. Softw. 5, 106--113 (1979; Zbl 0428.68022); translation from Programmirovanie 1979, No. 2, 41--49 (1979)
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 PDFBibTeX XMLCite \textit{S. J. Hegner}, J. Comput. Syst. Sci. 48, No. 1, 9--57 (1994; Zbl 0802.68042) Full Text: DOI
Nepomnyashchij, V. A.; Sabel’fel’d, V. K. Elimination of identity assignments in standard program schemata. (English. Russian original) Zbl 0439.68028 Program. Comput. Software 5, 249-256 (1979); translation from Programmirovanie 1979, No. 4, 34-43 (1979). MSC: 68Q60 PDFBibTeX XMLCite \textit{V. A. Nepomnyashchij} and \textit{V. K. Sabel'fel'd}, Program. Comput. Softw. 5, 249--256 (1979; Zbl 0439.68028); translation from Programmirovanie 1979, No. 4, 34--43 (1979)
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 PDFBibTeX XMLCite \textit{B. P. Bezdetnyj} et al., Mat. Fiz. 33, 54--60 (1983; Zbl 0532.65079)
Lisovik, L. P. Program schemata over cyclic interpretations. (English. Russian original) Zbl 0469.68020 Program. Comput. Software 7, 21-24 (1981); translation from Programmirovanie 1981, No. 1, 29-33 (1981). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. P. Lisovik}, Program. Comput. Softw. 7, 21--24 (1981; Zbl 0469.68020); translation from Programmirovanie 1981, No. 1, 29--33 (1981)
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 PDFBibTeX XML Full Text: DOI
Val’kovskij, V. A. Parallelizing operational schemata over block variables. (English. Russian original) Zbl 0419.68022 Program. Comput. Software 3, 11-16 (1977); translation from Programmirovanie 1977, No. 1, 15-20 (1977). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{V. A. Val'kovskij}, Program. Comput. Softw. 3, 11--16 (1977; Zbl 0419.68022); translation from Programmirovanie 1977, No. 1, 15--20 (1977)