Found 158 Documents (Results 1–100)
Logical polygon for propositions about relations: rules of constructing and application. (Russian. English summary) Zbl 07890831
MSC:
03-XX
Optimization of the structure of variable-valued logical functions when adding new production rules. (Russian. English summary) Zbl 1524.68271
On a certain learning algorithm for logical neural networks. (English. Russian original) Zbl 07482919
J. Math. Sci., New York 260, No. 2, 157-162 (2022); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 166, 3-9 (2019).
MSC:
68T27
The method of construction of logical neural networks on the basis of variable-valued logical functions. (English. Russian original) Zbl 1509.68216
J. Math. Sci., New York 253, No. 4, 500-505 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 154, 43-48 (2018).
MSC:
68T05
A duality between \(LM\)-fuzzy possibility computations and their logical semantics. (English) Zbl 1429.06005
Uniformization problem for variants of first order logic over finite words. (English) Zbl 1514.03048
Hoshi, Mizuho (ed.) et al., Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11088, 516-528 (2018).
MSC:
03D05
Application valued variable logic functions and neural networks in the decision-making system. (Russian. English summary) Zbl 1413.68129
The square of opposition in Catholic hands: a chapter in the history of 20th-century logic. (English) Zbl 1380.03005
Modal logics of non-monotone partial predicates. (Ukrainian. English summary) Zbl 1363.03013
One quantifier alternation in first-order logic with modular predicates. (English) Zbl 1339.03014
Reviewer: Saeed Salehi (Tabriz)
A formal approach to linking logical form and vector-space lexical semantics. (English) Zbl 1535.68335
Bunt, Harry (ed.) et al., Computing meaning. Volume 4. Dordrecht: Springer. Text Speech Lang. Technol. 47, 27-48 (2014).
Renominative composition-nominative logics with predicates of equality. (Ukrainian. English summary) Zbl 1324.03007
MSC:
03B60
E. K. Voĭshvillo’s theory of concept: value and prospects. (Russian. English summary) Zbl 1308.03019
Karpenko, A. S. (ed.), Logicheskie issledovaniya. 20. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-197-3/hbk). 60-77 (2014).
MSC:
03A05
Unifying local and nonlocal modelling of respective and symmetrical predicates. (English) Zbl 1427.91217
Morrill, Glyn (ed.) et al., Formal grammar. 19th international conference, FG 2014, Tübingen, Germany, August 16–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8612, 104-120 (2014).
Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate. (English) Zbl 1291.03011
Mathematical foundations for computer science. Sets, logic, recursion. (Mathematische Grundlagen für die Informatik. Mengen, Logik, Rekursion.) (German) Zbl 1291.68003
Springer-Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-658-03078-0/pbk; 978-3-658-03079-7/ebook). x, 222 p. (2013).
Reviewer: Klaus D. Kiermeier (Berlin)
Bivalent logics. (English) Zbl 1298.03078
De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 25-34 (2012).
Composition-nominative logics of quasi-ary predicates: semantic aspects. (Ukrainian. English summary) Zbl 1289.03014
MSC:
03B60
Fuzzy syllogisms, numerical square, triangle of contraries, inter-bivalence. (English) Zbl 1272.03012
Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 241-260 (2012).
Recognition of relations by the method of collective vote. (Russian. English summary) Zbl 1299.03066
Proofs and algorithms. An introduction to logic and computability. (English) Zbl 1230.03001
Undergraduate Topics in Computer Science. New York, NY: Springer (ISBN 978-0-85729-120-2/pbk; 978-0-85729-121-9/ebook). xii, 155 p. (2011).
Reviewer: Damas Gruska (Bratislava)
First-order logics of quasiary predicates. (English. Russian original) Zbl 1291.03069
Cybern. Syst. Anal. 46, No. 6, 884-899 (2010); translation from Kibern. Sist. Anal. 2010, No. 6, 32-50 (2010).
MSC:
03B70
Proofs and algorithms. An introduction to logic and computability. (Les démonstrations et les algorithmes. Introduction à la logique et à la calculabilité.) (French) Zbl 1230.03002
Palaiseau: Les Éditions de l’École Polytechnique (ISBN 978-2-7302-1569-5). 195 p. (2010).
Predicate liftings versus nabla modalities. (English) Zbl 1279.03086
Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 195-220 (2008).
Logic for computer scientists. Reprint of the 1989 hardback ed. (English) Zbl 1206.03001
Modern Birkhäuser Classics. Boston, MA: Birkhäuser (ISBN 978-0-8176-4762-9; 978-0-8176-4763-6/ebook). xii, 166 p. (2008).
Either epistemicism or logic. (English) Zbl 1170.03322
MSC:
03A05
Binary predicates as representations of Boolean logic objects. (Russian. English summary) Zbl 1164.03309
First-order expressibility of languages with neutral letters or: The Crane Beach conjecture. (English) Zbl 1069.03021
Fuzzy logic and \(\omega^{+}\)-valued logic. (Russian. English summary) Zbl 1249.03031
Learnability and definability in trees and similar structures. (English) Zbl 1062.03031
Reviewer: Alex Nabebin (Moskva)
Logic and binary trees. (English) Zbl 1012.03513
Shtrakov, Sl. (ed.) et al., Discrete mathematics and applications. Proceedings of the 6th international conference, Bansko, Bulgaria, August 31-September 2, 2001. Blagoevgrad: South-West University. Res. Math. Comput. Sci. 103-107 (2002).
Automata techniques for query inference machines. (English) Zbl 1013.03009
Reviewer: Alex Nabebin (Moskva)
Generalizations of the continuous logic. (English. Russian original) Zbl 1062.03510
Autom. Remote Control 62, No. 10, 1743-1755 (2001); translation from Avtom. Telemekh. 2001, No. 10, 223-235 (2001).
Logical structure of the process of puzzle generation and solution. (Russian. English summary) Zbl 1012.00015
Kasyanov, V. N. (ed.), Supercomputing support and internet-oriented technologies. Novosibirsk: Institut Sistem Informatiki Im. A. P. Ershova SO RAN, 245-253 (2001).
Encoding two-valued nonclassical logics in classical logic. (English) Zbl 0992.03019
Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier. 1403-1486 (2001).
Computing small clause normal forms. (English) Zbl 0992.03018
Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier. 335-367 (2001).
MSC:
03B35
Continuous logic. II: Main generalizations. (English) Zbl 0997.03024
MSC:
03B50
94C10
Cut-elimination and redundancy-elimination by resolution. (English) Zbl 0976.03059
Reviewer: G.Mints (Stanford)
Model theory and validity. (English) Zbl 0964.03007
Mathematical logic. A course with exercises. Part I: Propositional calculus, Boolean algebras, predicate calculus, completeness theorems. Transl. from the French by Donald H. Pelletier. (English) Zbl 0955.03004
Oxford: Oxford University Press. xix, 338 p. (2000).
Reviewer: Elliott Mendelson (Flushing)
Safe proof checking in type theory with \(Y\). (English) Zbl 0944.03008
Flum, Jörg (ed.) et al., Computer science logic. 13th international workshop, CSL ’99. 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1683, 439-452 (1999).
Hilbert’s \(\epsilon\)-terms in automated theorem proving. (English) Zbl 0931.03016
Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 171-185 (1999).
MSC:
03B35
The descriptive complexity approach to LOGCFL. (English) Zbl 0924.03069
Meinel, Christoph (ed.) et al., STACS 99. 16th annual symposium on Theoretical aspects of computer science, Trier, Germany, March 4–6, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1563, 444-454 (1999).
Automatic theorem proving and OTTER. (Spanish) Zbl 0965.03011
López Mimbela, J. A. (ed.) et al., 30th national congress of the Mexican Mathematical Society, Aguascalientes, México, September 28-October 2, 1997. Proceedings. México: Sociedad Matemática Mexicana. Aportaciones Mat., Comun. 22, 159-178 (1998).
MSC:
03B35
68T15
On a logically but not functionally complete calculus in three-valued logic. (English) Zbl 0960.03019
Ginzburg, Jonathan (ed.) et al., The Tbilisi symposium on logic, language and computation: Selected papers, Gudauri, Georgia, October 19-22, 1995. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 309-313 (1998).
MSC:
03B50
Algorithm for searching a proof in the classical predicate calculus. (Russian. English summary) Zbl 0926.03005
Karpenko, A. S. (ed.) et al., Logical investigations. No. 5. Proceedings from the section “Symbolic logic” of the 1st International conference “Smirnov Readings”, Moscow, Russia, March 1997. Moskva: Nauka. 171-194 (1998).
Reviewer: P.A.Schreiner (Novosibirsk)
MSC:
03B35
Admissibility of fixpoint induction over partial types. (English) Zbl 0924.03019
Kirchner, Claude (ed.) et al., Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5–10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1421, 270-285 (1998).
MSC:
03B35
Constructing a normal form for property theory. (English) Zbl 1430.68396
McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 237-251 (1997).
Hypercomparatives. (English) Zbl 0929.03009
Introduction to mathematical logic. 4., aktualis. Aufl. (Einführung in die mathematische Logik.) (German) Zbl 0852.03001
Heidelberg: Spektrum Akademischer Verlag. x, 309 p. (1996).
Logic and discrete mathematics. A computer science perspective. (English) Zbl 0848.68003
Upper Saddle River, NJ: Prentice Hall. xviii, 750 p. (1996).
Reviewer: C.Meinel (Trier)
Resolution-based calculi for modal and temporal logics. (English) Zbl 1415.03026
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 598-612 (1996).
Cyclic connections. (English) Zbl 1415.03017
Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 80-92 (1996).
Equality in linear logic. (English) Zbl 0976.03065
Modification of the Robinson’s resolution method for built-in predicates. (English. Russian original) Zbl 0888.03003
J. Contemp. Math. Anal., Armen. Acad. Sci. 31, No. 5, 49-58 (1996); translation from Izv. Akad. Nauk Armen., Mat. 31, No. 5, 57-68 (1996).
MSC:
03B35
Program extraction from classical proofs. (English) Zbl 1540.03018
Leivant, Daniel (ed.), Logic and computational complexity. International workshop, LCC ’94, Indianapolis, IN, USA, October 13–16, 1994. Selected Papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 960, 77-97 (1995).
Boolean algebra of “sup-inf” operations on sets of characteristic functions and some applications to iterated quantifications in predicate logic. (English) Zbl 0854.03005
Logical foundations for knowledge-based control systems. I: Language and reasoning. (English) Zbl 0834.93002
Resolution strategies for the intuitionistic logic. (English) Zbl 0810.03007
Mayoh, Brian (ed.) et al., Constraint programming. Proceedings of the NATO Advanced Study Institute, held in Pärnu, Estonia, August 13-24, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 131, 289-311 (1994).
Reviewer: N.Zamov (Kazan’)
The non-Boolean logic of natural language negation. (English) Zbl 0794.03042
Reviewer: H.Wansing (Leipzig)
Extracting programs from proofs by an extension of the Curry-Howard process. (English) Zbl 0821.03017
Crossley, John N. (ed.) et al., Logical methods. In honor of Anil Nerode’s 60th birthday. Basel: Birkhäuser. Prog. Comput. Sci. Appl. Log. 12, 222-288 (1993).
Reviewer: N.Curteanu (Iaşi)
Translation methods for non-classical logics: An overview. (English) Zbl 0795.03019
Reviewer: H.J.Ohlbach (Saarbrücken)
Gentzen-type systems and resolution rule. II: Predicate logic. (English) Zbl 0796.03014
Oikkonen, Juha Markku Robert (ed.) et al., Logic colloquium ’90. ASL summer meeting in Helsinki, Finland from July 15 to July 22, 1990. Berlin: Springer-Verlag. Lect. Notes Log. 2, 163-190 (1993).
Reviewer: H.J.Ohlbach (Saarbrücken)
A Boolean formalization of predicate calculus. (English) Zbl 0793.03069
Rosenberg, Ivo (ed.) et al., Algebras and orders. Proceedings of the NATO Advanced Study Institute and Séminaire de mathématiques supérieures, Montréal, Canada, July 29 - August 9, 1991. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 389, 193-198 (1993).
A reasoning method for a paraconsistent logic. (English) Zbl 0796.03017
Reviewer: I.D’Ottaviano (Campinas)
Logique mathématique. Cours et exercices. I: Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. (French) Zbl 0787.03001
AXIOMES. Paris: Masson. xv, 385 p. (1993).
Reviewer: A.M.Coyne (Asheville)
Pure second-order logic. (English) Zbl 0760.03001
MSC:
03B15
Einführung in die mathematische Logik. 3., vollst. überarb. und erw. Aufl. (German) Zbl 0784.03002
Mannheim: B.I. Wissenschaftsverlag. x, 338 S. (1992).
Reviewer: H.C.M.de Swart (Tilburg)
Foundations of the automatic proving. An introduction for computer scientists and mathematicians. 2., verb. Aufl. (Grundlagen des maschinellen Beweisens. Eine Einführung für Informatiker und Mathematiker.) (German) Zbl 0818.68135
Wiesbaden etc.: Vieweg. X, 172 p. (1992).
Complete resolution calculi for PROLOG. (Vollständige Resolutionskalküle für PROLOG.) (German) Zbl 0745.03010
Münster: Univ. Münster, FB Mathematik, vii, 110 S. (1991).
Reviewer: U.Schöning (Ulm)
Grundzüge der Logik. Bd. 1: Das logische Schließen. Unter Mitwirkung von Elke Brendel und Robert Kirchner. (Foundations of logic. Vol. 1: The logical reasoning). 4. Aufl. (German) Zbl 0744.03001
Frankfurt/Main: Klostermann. 381 S. (1991).
Correlation of some notions of constructive model theory. (Russian) Zbl 0744.03036
Reviewer: J.Šindelář (Praha)
A free variable version of the first-order predicate calculus. (English) Zbl 0754.03004
Reviewer: P.-G.Holban (Iaşi)
Semantics-based translation methods for modal logics. (English) Zbl 0746.03010
Reviewer: G.Mints (Stanford)
On correlation of some concepts in the constructive model theory. (English. Russian original) Zbl 0790.03037
Mosc. Univ. Math. Bull. 46, No. 4, 36-38 (1991); translation from Vestn. Mosk. Univ., Ser. I 1991, No. 4, 38-41 (1991).
Termination proofs for logic programs. (English) Zbl 0705.68090
Lecture Notes in Computer Science 446. Lecture Notes in Artificial Intelligence. Berlin etc.: Springer-Verlag (ISBN 3-540-52837-7). VIII, 142 p. (1990).
Reviewer: Marie Duží (Ostrava)
Formalisieren und Beweisen. Logik für Informatiker. (Formalizing and proving. Logic for computer scientists). (German) Zbl 0705.68003
Wiesbaden: Vieweg & Sohn. XIII, 259 p. DM 39.80 (1990).
Reviewer: U.Schöning
The t-variable method in Gentzen-style automatic theorem proving. (English) Zbl 0685.03010
Reviewer: T.Edwald
MSC:
03B35
Lattices adequate for intuitionistic predicate logic. (English) Zbl 0779.03002
Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 293-297 (1990).
Filter Results by …
Document Type
- Journal Articles (91)
- Collection Articles (38)
- Books (29)
all
top 5
Author
- Dimitrichenko, Dmitriĭ Petrovich (3)
- Dzik, Wojciech (3)
- Hsiang, Jieh (3)
- Mart’yanov, Vladimir Ivanovich (3)
- Mints, Grigoriĭ Efroimovich (3)
- Nonnengart, Andreas (3)
- Ohlbach, Hans Jürgen (3)
- Börger, Egon (2)
- Cherkashina, Oksana Viktorovna (2)
- Cori, René (2)
- Dowek, Gilles (2)
- Ebbinghaus, Heinz-Dieter (2)
- Essler, Wilhelm K. (2)
- Flum, Jörg (2)
- Gabbay, Dov M. (2)
- Genesereth, Michael R. (2)
- Hagiwara, Yoshiki (2)
- Hofbauer, Dieter (2)
- Kutsche, Ralf-Detlef (2)
- Lascar, Daniel (2)
- Lautemann, Clemens (2)
- Levin, Vitaliĭ Il’ich (2)
- Martínez Cruzado, Rosa F. (2)
- Murray, Neil V. (2)
- Nikitchenko, Mykola S. (2)
- Nilsson, Nils J. (2)
- Plisko, Valery (2)
- Reghiş, Mircea (2)
- Rödding, Dieter (2)
- Rosenthal, Erik J. (2)
- Roventa, Eugene (2)
- Schöning, Uwe (2)
- Shkil’nyak, Stepan S. (2)
- Thomas, Wolfgang (2)
- Yao, Wei (2)
- Ahrendt, Wolfgang (1)
- Alëshina, N. A. (1)
- Amor Montaño, José Alfredo (1)
- Anisov, A. M. (1)
- Atanasova, Irena (1)
- Baaz, Matthias (1)
- Back, Ralph-Johan (1)
- Becher, Gérard (1)
- Bencivenga, Ermanno (1)
- Berger, Ulrich (1)
- Bocharov, V. A. (1)
- Bolotov, A. E. (1)
- Bonsangue, Marcello Maria (1)
- Borkar, Vivek Shripad (1)
- Buchsbaum, Arthur (1)
- Byrnes, John (1)
- Bystrov, Peter I. (1)
- Cantone, Domenico (1)
- Cavaliere, Ferdinando (1)
- Chandru, Vijay (1)
- Chiriţă, Carmen (1)
- Cicerone, Serafino (1)
- Cīrulis, Jānis (1)
- Coniglio, Marcelo Esteban (1)
- Crary, Karl (1)
- Crociani, Carla (1)
- Crossley, John Newsome (1)
- Cryan, Mary (1)
- Davis, Martin David (1)
- de Rijke, Maarten (1)
- Degauquier, Vincent (1)
- Dekker, Paul J. E. (1)
- Denyer, Nicholas (1)
- Dershowitz, Nachum (1)
- Di Stefano, Gabriele (1)
- Dmitrichenko, D. P. (1)
- Došen, Kosta (1)
- Dybjer, Peter (1)
- Dylykov, Zh. L.-D. (1)
- Edwald, Tryggvi (1)
- Englebretsen, George (1)
- Erk, Katrin (1)
- Fechter, Ronald (1)
- Ferrante, Jeanne (1)
- Finkelstein, David Ritz (1)
- Fitting, Melvin Chris (1)
- Fleischer, Isidore (1)
- Fulda, Joseph S. (1)
- Garrette, Dan (1)
- Gasarch, William Ian (1)
- Genrich, Hartmann J. (1)
- Gerasimova, I. A. (1)
- Geuvers, Jan Herman (1)
- Gibbins, Peter (1)
- Giese, Martin A. (1)
- Gindikin, Simon Grigorevich (1)
- Gorchakov, A. E. (1)
- Grassmann, Winfried (1)
- Grohe, Martin (1)
- Groote, Jan Friso (1)
- Gvaramiya, A. A. (1)
- Han, Sang-Eon (1)
- Herberlin, Hugo (1)
- Hird, Geoffrey R. (1)
- Immerman, Neil (1)
- and 113 more Authors
all
top 5
Serial
- Stud. Log. (7)
- Notre Dame J. Formal Logic (4)
- J. Philos. Log. (3)
- J. Autom. Reasoning (3)
- Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka (3)
- J. Comput. Syst. Sci. (2)
- J. Inf. Process. (2)
- J. Sov. Math. (2)
- Log. Anal., Nouv. Sér. (2)
- Synthese (2)
- Theor. Comput. Sci. (2)
- Z. Math. Logik Grundlagen Math. (2)
- J. Log. Program. (2)
- J. Symb. Comput. (2)
- J. Log. Comput. (2)
- J. Appl. Non-Class. Log. (2)
- J. Math. Sci., New York (2)
- An. Univ. Timiș., Ser. Mat.-Inform. (2)
- Iran. J. Fuzzy Syst. (2)
- Log. Univers. (2)
- Rev. Symb. Log. (2)
- Vestn. KRAUNTS, Fiz.-Mat. Nauki (2)
- Acta Inf. (1)
- Autom. Control Comput. Sci. (1)
- Math. Notes (1)
- Mosc. Univ. Math. Bull. (1)
- Russ. Math. Surv. (1)
- J. Korean Math. Soc. (1)
- Kibernetika (1)
- Kybernetes (1)
- Matematiche (1)
- Rend. Accad. Sci. Fis. Mat., IV. Ser., Napoli (1)
- Sib. Math. J. (1)
- Cybernetics (1)
- Ann. Pure Appl. Logic (1)
- Comput. Artif. Intell. (1)
- Inf. Comput. (1)
- Int. J. Intell. Syst. (1)
- J. Contemp. Math. Anal., Armen. Acad. Sci. (1)
- Autom. Remote Control (1)
- Litov. Mat. Sb. (1)
- Vestn. Mosk. Univ., Ser. I (1)
- Distrib. Comput. (1)
- Cybern. Syst. Anal. (1)
- Arch. Control Sci. (1)
- Vychisl. Sist. (1)
- Philos. Math., III. Ser. (1)
- Bull. IGPL (1)
- PU.M.A., Pure Math. Appl. (1)
- An. Univ. Craiova, Ser. Mat. Inf. (1)
- Theory Comput. Syst. (1)
- J. Log. Algebr. Program. (1)
- Log. Log. Philos. (1)
- Visn. Odes. Derzh. Univ., Ser. Fiz.-Mat. Nauky (1)
- Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. (1)
- Lect. Notes Comput. Sci. (1)
- Lect. Notes Math. (1)
- Prog. Comput. Sci. Appl. Log. (1)
- Synth. Libr. (1)
- Formaliz. Math. (1)
- RAIRO, Theor. Inform. Appl. (1)
- Vestn. Udmurt. Univ., Mat. Mekh. Komp’yut. Nauki (1)
- Log. Issled. (1)
- Mod. Birkhäuser Class. (1)
- Probl. Books Math. (1)
- Undergrad. Top. Comput. Sci. (1)
- Springer-Lehrb. (1)
all
top 5
Year of Publication
- 2024 (2)
- 2022 (2)
- 2021 (1)
- 2020 (1)
- 2019 (3)
- 2018 (2)
- 2017 (1)
- 2016 (3)
- 2015 (4)
- 2014 (5)
- 2013 (1)
- 2012 (3)
- 2011 (2)
- 2010 (2)
- 2008 (5)
- 2007 (1)
- 2005 (1)
- 2004 (2)
- 2003 (1)
- 2002 (3)
- 2001 (4)
- 2000 (4)
- 1999 (3)
- 1998 (5)
- 1997 (2)
- 1996 (6)
- 1995 (3)
- 1994 (5)
- 1993 (8)
- 1992 (4)
- 1991 (6)
- 1990 (6)
- 1989 (6)
- 1988 (7)
- 1987 (6)
- 1986 (4)
- 1985 (10)
- 1984 (6)
- 1983 (3)
- 1982 (2)
- 1981 (3)
- 1980 (3)
- 1979 (2)
- 1978 (3)
- 1977 (2)