# zbMATH — the first resource for mathematics

## Computers and Artificial Intelligence

 Short Title: Comput. Artif. Intell. Publisher: Slovak Academic Press Ltd., Bratislava ISSN: 0232-0274 Predecessor: Pocitace a Umela Inteligencia Successor: Computing and Informatics Comments: No longer indexed
 Documents Indexed: 341 Publications (1983–2000)
all top 5

#### Latest Issues

 19, No. 6 (2000) 19, No. 5 (2000) 19, No. 4 (2000) 19, No. 3 (2000) 19, No. 2 (2000) 19, No. 1 (2000) 18, No. 6 (1999) 18, No. 5 (1999) 18, No. 4 (1999) 18, No. 3 (1999) 18, No. 2 (1999) 18, No. 1 (1999) 17, No. 6 (1998) 17, No. 5 (1998) 17, No. 4 (1998) 17, No. 1 (1998) 16, No. 4 (1997) 16, No. 3 (1997) 16, No. 2 (1997) 16, No. 1 (1997) 15, No. 6 (1996) 15, No. 4 (1996) 15, No. 2-3 (1996) 14, No. 3 (1995) 13, No. 6 (1994) 13, No. 5 (1994) 13, No. 4 (1994) 13, No. 2-3 (1994) 13, No. 1 (1994) 12, No. 2 (1993) 11, No. 6 (1992) 11, No. 5 (1992) 11, No. 4 (1992) 11, No. 3 (1992) 11, No. 2 (1992) 11, No. 1 (1992) 10, No. 6 (1991) 10, No. 5 (1991) 10, No. 4 (1991) 10, No. 2 (1991) 10, No. 1 (1991) 9, No. 6 (1990) 9, No. 5 (1990) 9, No. 4 (1990) 9, No. 3 (1990) 9, No. 2 (1990) 9, No. 1 (1990) 8, No. 4 (1989) 8, No. 3 (1989) 8, No. 2 (1989) 8, No. 1 (1989) 7, No. 6 (1988) 7, No. 5 (1988) 7, No. 4 (1988) 7, No. 3 (1988) 7, No. 2 (1988) 7, No. 1 (1988) 6 (1987) 5 (1986) 4 (1985) 3 (1984) 2 (1983)
all top 5

#### Authors

 15 Hromkovič, Juraj 7 Sýkora, Ondrej 5 Kacsuk, Peter 5 Kramosil, Ivan 5 Păun, Gheorghe 4 Dassow, Jürgen 4 Demetrovics, János 4 Kelemen, Jozef 3 Csuhaj-Varjú, Erzsébet 3 Ftáčnik, Milan 3 Korec, Ivan 3 Pardubská, Dana 3 Sebastiani, Fabrizio 3 Vajteršic, Marián 3 Vrto, Imrich 2 Akl, Selim G. 2 Andonie, Răzvan 2 Bachmann, Peter 2 Balaban, Mira 2 Brézillon, Patrick 2 Britaňák, Vladimír 2 Cherkasova, Ludmila A. 2 Chiang, Ding-An 2 Chrz, Tomáš 2 Cunha, José C. 2 Dershowitz, Nachum 2 Do Van Thanh 2 Dohnal, Mirko 2 Ehn, L’udovít 2 Hájek, Petr 2 Hanuliak, Ivan 2 Hluchy, Ladislav 2 Hô Thuan 2 Hübler, Albrecht 2 Keh, Huan-Chao 2 Kiem, Hoang 2 Kollár, Ján 2 Kovács, Lazslo 2 Krawczyk, Henryk 2 Lamma, Evelina 2 Lin, Yule-Chyun 2 Lindenstrauss, Naomi 2 Lórencz, Róbert 2 Luque, Emilio 2 Materna, Pavel 2 Mayoh, Brian H. 2 Meinel, Christoph 2 Mello, Paola 2 Miklosko, Jozef 2 Morháč, Miroslav 2 Olariu, Stephan 2 Popela, Pavel 2 Robič, Borut 2 Saxena, Prem Chandra 2 Sessa, Maria I. 2 Shapiro, David I. 2 Shih, Timothy K. 2 Shimony, Solomon Eyal 2 Šiller, Aleš 2 Škoviera, Martin 2 Soviš, František 2 Stefanelli, Cesare 2 Stojmenović, Ivan 2 Straccia, Umberto 2 Suys, Dominique 2 Toman, Eduard 2 Tripathi, Ram C. 2 Tyugu, Ènn Kharal’dovich 2 Valdés, Julio J. 2 van Hove, H. 2 Vassilakis, Costas 2 Verschoren, Alain H. M. J. 2 Volkert, Jens J. 2 Voss, Klaus 2 Vyskoč, Jozef 2 Wang, Yifan 2 Werner, Günter 2 Wiszniewski, Bogdan 1 Abuelrub, Emadeddin 1 Addibpour, Mattin 1 Agre, Gennady 1 Ahmed-Nacer, Mohamad 1 Alba, Enrique 1 Ananiashvili, Gulaber G. 1 Andreev, Alexander E. 1 Andrejková, Gabriela 1 Anelli, Pascal 1 Anisimov, Nikolaj A. 1 Araujo, Lourdes 1 Astalos, Jan 1 Attardi, Giuseppe 1 Azevedo, Paulo J. 1 Baizán-Fernández, María C. 1 Băleanu, Cristian 1 Baník, Igor 1 Barcucci, Elena 1 Barrios, Dolores 1 Barron, John L. 1 Beauchemin, Steven S. 1 Bebják, Andrej ...and 354 more Authors
all top 5

#### Fields

 313 Computer science (68-XX) 39 Mathematical logic and foundations (03-XX) 25 Information and communication theory, circuits (94-XX) 20 Numerical analysis (65-XX) 11 Operations research, mathematical programming (90-XX) 8 Combinatorics (05-XX) 8 Probability theory and stochastic processes (60-XX) 4 Convex and discrete geometry (52-XX) 4 Systems theory; control (93-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Statistics (62-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Integral transforms, operational calculus (44-XX) 1 Functional analysis (46-XX) 1 Mechanics of particles and systems (70-XX) 1 Quantum theory (81-XX)

#### Citations contained in zbMATH Open

88 Publications have been cited 241 times in 214 Documents Cited by Year
Belief structures, possibility theory and decomposable confidence measures on finite sets. Zbl 0657.60006
Dubois, Didier
1986
Test tube distributed systems based on splicing. Zbl 0852.68051
Csuhaj-Varjú, Erzsébet; Kari, Lila; Păun, Gheorghe
1996
On Yager’s theory of bags and fuzzy bags. Zbl 0988.03039
Chakrabarty, Kankana; Biswas, Ranjit; Nanda, Sudarsan
1999
On deadlock detection in systems of communicating finite state machines. Zbl 0639.68009
Gouda, Mohamed G.; Gurari, Eitan M.; Lai, Ten-Hwang; Rosier, Louis E.
1987
Stratified grammar systems. Zbl 0816.68080
Csuhaj-Varjú, Erzsébet; Dassow, Jürgen; Kelemen, Jozef; Păun, Gheorghe
1994
Improving performances of the genetic algorithm by caching. Zbl 0986.90016
Kratica, Jozef
1999
Asymptotical densities in generalized Pascal triangles. Zbl 0612.68048
Korec, Ivan
1986
Counting classes with finite acceptance types. Zbl 0638.68027
Gundermann, Thomas; Wechsung, Gerd
1987
The hierarchy of Boolean circuits. Zbl 0641.94028
Pudlák, Pavel
1987
How to build in an open theory into connection calculi. Zbl 0760.03004
Petermann, Uwe
1992
Some complexity aspects of VLSI computations. I: A framework for the study of information transfer in VLSI circuits. Zbl 0644.94027
Hromkovič, Juraj
1988
BC-tree systolic automata: Characterization and properties. Zbl 0676.68023
Fachini, Emanuela; Francese, Rita; Napoli, Margerita; Parente, Domenico
1989
Reversal bounded multicounter machines. Zbl 0579.68032
Hromkovič, Juraj
1985
Tight chip area bounds for sorting. Zbl 0586.68032
Ďuriš, Pavol; Thompson, Clark D.; Sýkora, Ondrej; Vrťo, Imrich
1985
A modular system for solving linear equations exactly. I: Architecture and numerical algorithms. Zbl 0756.65038
Morháč, Miroslav; Lórencz, Róbert
1992
Investigations of back and forth bisimulations on prime event structures. Zbl 0770.68084
Cherief, Ferroudja
1992
Modular system for solving linear equations exactly. II: Hardware realization. Zbl 0769.65011
Lórencz, Róbert; Morháč, Miroslav
1992
Context in artificial intelligence. I: A survey of the literature. Zbl 0990.68135
Brézillon, P.
1999
PM-colonies. Zbl 0990.68106
Martín-Vide, Carlos; Pǎun, Gheorghe
1998
On the automatic synthesis of social laws for mobile robots: A study in artificial social systems. Zbl 0888.68125
Ben-Yitzhak, Ori; Tennenholtz, Moshe
1997
Towards “human-consistent” decision support systems through commonsense knowledge-based decision making and control models: a fuzzy logic approach. Zbl 0631.68076
Kacprzyk, Janusz
1987
Closure properties of the family of languages defined by systolic tree automata. Zbl 0647.68076
Pardubská, Dana
1988
Dyck$$_ 1$$-reductions of context-free languages. Zbl 0695.68054
Jantzen, Matthias; Kudlek, Manfred; Petersen, Holger
1990
A graph theoretic approach to the characterization of classes of structured objects. Zbl 0568.62055
Sobik, Fred; Sommerfeld, Erdmute
1984
A first step towards autoepistemic logic programming. Zbl 0737.68072
Jiang, Yue Jun
1991
Statistical verification procedures for propositional calculus. Zbl 0529.68066
Kramosil, Ivan
1983
Armstrong relations, functional dependencies and strong dependencies. Zbl 0838.68022
Demetrovics, János; Thi Vu Doc
1995
Universal systems with operations related to splicing. Zbl 0856.68065
Freund, Rudolf; Wachtler, Franz
1996
Local quartet splits of a binary tree infer all quartet splits via one dyadic inference rule. Zbl 0871.68145
Erdős, Péter L.; Steel, Michael A.; Székely, László A.; Warnow, Tandy J.
1997
On partitioning grids into equal parts. Zbl 0871.68144
Bezrukov, S. L.; Rovan, B.
1997
On one-way two-head deterministic finite state automata. Zbl 0605.68079
Hromkovič, Juraj
1985
Some remarks on pipeline processing by cellular automata. Zbl 0639.68044
Vollmar, Roland
1987
An algorithm to find minimal cover of a set of functional dependencies. Zbl 0647.68107
Saxena, P. C.; Tripathi, R. C.
1987
Geometric methods for on-line recognition of digital straight line segements. Zbl 0647.68118
Creutzburg, Egbert; Hübler, Albrecht; Sýkora, Ondrej
1988
Some complexity aspects of VLSI computations. VI: Communication complexity. Zbl 0676.68014
Hromkovič, Juraj
1989
Cancellation law and a complete axiomatization of functional dependencies in relational database. Zbl 0681.68127
Saxena, P. C.; Tripathi, R. C.
1989
Pascal triangles modulo n and modular trellises. Zbl 0695.68055
Korec, Ivan
1990
Unsolvability of the emptiness problem for alternating 1-way multi-head and multi-tape finite automata over single-letter alphabet. Zbl 0712.68040
Geidmanis, Dainis
1991
A generalized algebraic approach to uncertainty processing in rule-based expert systems (dempsteroids). Zbl 0712.68092
Hájek, Petr; Valdes, Julio J.
1991
Nonlinear lower bound for real-time branching programs. Zbl 0579.68031
Ftáčnik, Milan; Hromkovič, Juraj
1985
Some estimates of the complexity of disjunctive normal forms of a random Boolean function. Zbl 0747.68033
Toman, Eduard; Tomanová, Jana
1991
Probabilistic expert systems and distribution mixtures. Zbl 0741.68087
Grim, Jiří
1990
Recognition of polyhedral objects under perspective views. Zbl 0751.68080
Stahs, Thomas; Wahl, Friedrich
1992
A note on learning, fallibility, and cognitive resources use. Zbl 0748.68056
Kelemen, Jozef
1992
Design and analysis of systolic algorithms for the algebraic path problem. Zbl 0748.68033
Sedukhin, S. G.
1992
Gaussian smoothing by optimal iterated uniform convolutions. Zbl 0755.93074
Andonie, Răzvan; Carai, Eugen
1992
Default reasoning in a terminological logic. Zbl 0835.68114
Sebastiani, Fabrizio; Straccia, Umberto
1995
Implementation analysis of fast matrix multiplication algorithms on shared memory computers. Zbl 0835.68050
Francomano, E.; Macaluso, A. Tortorici; Vajteršic, M.
1995
Space logic for robots. Zbl 0508.03014
Varosyan, S. O.
1983
Genetic algorithms and trees. I: Recognition trees (the fixed width case). Zbl 0823.68038
van Hove, H.; Verschoren, A.
1994
Splicing grammar systems. Zbl 0852.68047
Dassow, Jürgen; Mitrana, Victor
1996
Accepting multi-agent systems: The case of cooperating distributed grammar systems. Zbl 0851.68066
Fernau, Henning; Holzer, Markus; Bordihn, Henning
1996
Colonies with position. Zbl 0852.68048
Baník, Igor
1996
On the generative capacity of PCGSs with regular components. Zbl 0852.68045
Mihalache, Valeria
1996
Collapsing hierarchies in PCGSs with communication by command. Zbl 0856.68090
Ilie, Lucian
1996
Prime-field-complete functions and factoring polynomials over finite fields. Zbl 0865.68062
Rónyai, Lajos; Szántó, Ágnes
1996
Graph relabelling systems: A general overview. Zbl 0871.68143
Métivier, Yves; Sopena, Eric
1997
Mesh sorting and selection optimal on the average. Zbl 0871.68095
Chlebus, Bogdan S.
1997
Designing of processor-time optimal hexagonal systolic array for matrix multiplication. Zbl 0878.68015
Milovanović, E. I.; Milentijević, I. Z.; Milovanović, I. Ž.
1997
Nonspecificity degrees of basic probability assignments in Dempster-Shafer theory. Zbl 0989.60009
Kramosil, Ivan
1999
Polynomial time Manhattan routing without doglegs—a generalization of Gallai’s algorithm. Zbl 0990.68198
Boros, Endre; Recski, András; Szkaliczki, Tibor; Wettl, Ferenc
1999
Distributed tree processing devices. Zbl 0990.68012
Fülöp, Zoltán
1999
An efficient algorithm for testing propositional formulas. Zbl 0988.03059
Vlada, Marin
1998
Minimum 2-terminal routing in 2-jump circulant graphs. Zbl 0993.68151
Robič, Borut; Žerovnik, Janez
2000
A semantic base for the fuzzy extension-principle. Zbl 0888.68109
Becker, Helmut
1997
Embedding rings into faulty twisted hypercubes. Zbl 0888.68021
Abuelrub, Emadeddin
1997
Generalized Pascal triangles with maximal left periods. Zbl 0618.05005
Kochol, Martin
1987
Entity sorts: what are they? Zbl 0633.03002
Materna, Pavel
1987
Systolic tree architecture for some standard functions. Zbl 0633.68043
Culik, Karel II; Jürgensen, Helmut; Mak, Kenneth
1987
Keys and superkeys for relation schemes. Zbl 0639.68122
Demetrovics, János; Ho Thuan
1986
Matrix inversion algorithms for pyramidal multiprocessor system. Zbl 0642.65016
Geus, Lothar; Henning, Walter; Vajteršic, Marián; Volkert, Jens
1988
Logical dependencies and irredundant relations. Zbl 0646.68116
Vu Duc Thi
1988
Some complexity aspects of VLSI computations. II: Topology of circuits and information transfer. Zbl 0649.94022
Hromkovič, Juraj
1988
Some complexity aspects of VLSI computations. III: On the power of input bit permutation in tree and trellis automata. Zbl 0659.68062
Hromkovič, Juraj; Pardubská, Dana
1988
Some complexity aspects of VLSI computations. IV: VLSI circuits with programs. Zbl 0659.68063
Hromkovič, Juraj; Pardubská, Dana
1988
The measures of nondeterminism for pushdown automata. Zbl 0666.68077
Nasyrov, Ildar R.
1989
Some complexity aspects of VLSI computations. V: Nondeterministic and probabilistic VLSI circuits. Zbl 0673.68030
Hromkovič, Juraj
1989
Several formal systems of the logic programming. Zbl 0695.68062
Mints, Grigorii Efroimovich
1990
Attributes: Distinguishing capability versus informational capability. Zbl 0695.68065
Duži, Marie; Materna, Pavel
1990
On parallel computations of expressions and straight-line programs. Zbl 0712.68041
Rytter, Wojciech
1990
Generalizing and particularizing as the techniques of learning. Zbl 0531.68039
Kodratoff, Y.
1983
A categorial approach to knowledge-based systems. Zbl 0535.68042
Georgescu, Ioan
1984
On the number of monotonic Boolean functions. Zbl 0544.94022
Hromkovič, Juraj
1984
Normed protocols and communication complexity. Zbl 0547.68081
Hromkovič, Juraj
1984
Determining the normalization level of a relation on the basis of Armstrong’s axioms. Zbl 0552.68084
Fernandez, María C.
1984
Computational complexity of probabilistic searching algorithms over Herbrand universes. Zbl 0561.68062
Kramosil, Ivan; Šindelář, Jan
1985
A recursive decomposition property of sets of finite sums of d-tuples of integers. Zbl 0571.68037
Pecht, Josef
1985
The connection between constructive mathematics and computer programming. Zbl 0584.68019
Mayoh, Brian
1985
Minimum 2-terminal routing in 2-jump circulant graphs. Zbl 0993.68151
Robič, Borut; Žerovnik, Janez
2000
On Yager’s theory of bags and fuzzy bags. Zbl 0988.03039
Chakrabarty, Kankana; Biswas, Ranjit; Nanda, Sudarsan
1999
Improving performances of the genetic algorithm by caching. Zbl 0986.90016
Kratica, Jozef
1999
Context in artificial intelligence. I: A survey of the literature. Zbl 0990.68135
Brézillon, P.
1999
Nonspecificity degrees of basic probability assignments in Dempster-Shafer theory. Zbl 0989.60009
Kramosil, Ivan
1999
Polynomial time Manhattan routing without doglegs—a generalization of Gallai’s algorithm. Zbl 0990.68198
Boros, Endre; Recski, András; Szkaliczki, Tibor; Wettl, Ferenc
1999
Distributed tree processing devices. Zbl 0990.68012
Fülöp, Zoltán
1999
PM-colonies. Zbl 0990.68106
Martín-Vide, Carlos; Pǎun, Gheorghe
1998
An efficient algorithm for testing propositional formulas. Zbl 0988.03059
Vlada, Marin
1998
On the automatic synthesis of social laws for mobile robots: A study in artificial social systems. Zbl 0888.68125
Ben-Yitzhak, Ori; Tennenholtz, Moshe
1997
Local quartet splits of a binary tree infer all quartet splits via one dyadic inference rule. Zbl 0871.68145
Erdős, Péter L.; Steel, Michael A.; Székely, László A.; Warnow, Tandy J.
1997
On partitioning grids into equal parts. Zbl 0871.68144
Bezrukov, S. L.; Rovan, B.
1997
Graph relabelling systems: A general overview. Zbl 0871.68143
Métivier, Yves; Sopena, Eric
1997
Mesh sorting and selection optimal on the average. Zbl 0871.68095
Chlebus, Bogdan S.
1997
Designing of processor-time optimal hexagonal systolic array for matrix multiplication. Zbl 0878.68015
Milovanović, E. I.; Milentijević, I. Z.; Milovanović, I. Ž.
1997
A semantic base for the fuzzy extension-principle. Zbl 0888.68109
Becker, Helmut
1997
Embedding rings into faulty twisted hypercubes. Zbl 0888.68021
Abuelrub, Emadeddin
1997
Test tube distributed systems based on splicing. Zbl 0852.68051
Csuhaj-Varjú, Erzsébet; Kari, Lila; Păun, Gheorghe
1996
Universal systems with operations related to splicing. Zbl 0856.68065
Freund, Rudolf; Wachtler, Franz
1996
Splicing grammar systems. Zbl 0852.68047
Dassow, Jürgen; Mitrana, Victor
1996
Accepting multi-agent systems: The case of cooperating distributed grammar systems. Zbl 0851.68066
Fernau, Henning; Holzer, Markus; Bordihn, Henning
1996
Colonies with position. Zbl 0852.68048
Baník, Igor
1996
On the generative capacity of PCGSs with regular components. Zbl 0852.68045
Mihalache, Valeria
1996
Collapsing hierarchies in PCGSs with communication by command. Zbl 0856.68090
Ilie, Lucian
1996
Prime-field-complete functions and factoring polynomials over finite fields. Zbl 0865.68062
Rónyai, Lajos; Szántó, Ágnes
1996
Armstrong relations, functional dependencies and strong dependencies. Zbl 0838.68022
Demetrovics, János; Thi Vu Doc
1995
Default reasoning in a terminological logic. Zbl 0835.68114
Sebastiani, Fabrizio; Straccia, Umberto
1995
Implementation analysis of fast matrix multiplication algorithms on shared memory computers. Zbl 0835.68050
Francomano, E.; Macaluso, A. Tortorici; Vajteršic, M.
1995
Stratified grammar systems. Zbl 0816.68080
Csuhaj-Varjú, Erzsébet; Dassow, Jürgen; Kelemen, Jozef; Păun, Gheorghe
1994
Genetic algorithms and trees. I: Recognition trees (the fixed width case). Zbl 0823.68038
van Hove, H.; Verschoren, A.
1994
How to build in an open theory into connection calculi. Zbl 0760.03004
Petermann, Uwe
1992
A modular system for solving linear equations exactly. I: Architecture and numerical algorithms. Zbl 0756.65038
Morháč, Miroslav; Lórencz, Róbert
1992
Investigations of back and forth bisimulations on prime event structures. Zbl 0770.68084
Cherief, Ferroudja
1992
Modular system for solving linear equations exactly. II: Hardware realization. Zbl 0769.65011
Lórencz, Róbert; Morháč, Miroslav
1992
Recognition of polyhedral objects under perspective views. Zbl 0751.68080
Stahs, Thomas; Wahl, Friedrich
1992
A note on learning, fallibility, and cognitive resources use. Zbl 0748.68056
Kelemen, Jozef
1992
Design and analysis of systolic algorithms for the algebraic path problem. Zbl 0748.68033
Sedukhin, S. G.
1992
Gaussian smoothing by optimal iterated uniform convolutions. Zbl 0755.93074
Andonie, Răzvan; Carai, Eugen
1992
A first step towards autoepistemic logic programming. Zbl 0737.68072
Jiang, Yue Jun
1991
Unsolvability of the emptiness problem for alternating 1-way multi-head and multi-tape finite automata over single-letter alphabet. Zbl 0712.68040
Geidmanis, Dainis
1991
A generalized algebraic approach to uncertainty processing in rule-based expert systems (dempsteroids). Zbl 0712.68092
Hájek, Petr; Valdes, Julio J.
1991
Some estimates of the complexity of disjunctive normal forms of a random Boolean function. Zbl 0747.68033
Toman, Eduard; Tomanová, Jana
1991
Dyck$$_ 1$$-reductions of context-free languages. Zbl 0695.68054
Jantzen, Matthias; Kudlek, Manfred; Petersen, Holger
1990
Pascal triangles modulo n and modular trellises. Zbl 0695.68055
Korec, Ivan
1990
Probabilistic expert systems and distribution mixtures. Zbl 0741.68087
Grim, Jiří
1990
Several formal systems of the logic programming. Zbl 0695.68062
Mints, Grigorii Efroimovich
1990
Attributes: Distinguishing capability versus informational capability. Zbl 0695.68065
Duži, Marie; Materna, Pavel
1990
On parallel computations of expressions and straight-line programs. Zbl 0712.68041
Rytter, Wojciech
1990
BC-tree systolic automata: Characterization and properties. Zbl 0676.68023
Fachini, Emanuela; Francese, Rita; Napoli, Margerita; Parente, Domenico
1989
Some complexity aspects of VLSI computations. VI: Communication complexity. Zbl 0676.68014
Hromkovič, Juraj
1989
Cancellation law and a complete axiomatization of functional dependencies in relational database. Zbl 0681.68127
Saxena, P. C.; Tripathi, R. C.
1989
The measures of nondeterminism for pushdown automata. Zbl 0666.68077
Nasyrov, Ildar R.
1989
Some complexity aspects of VLSI computations. V: Nondeterministic and probabilistic VLSI circuits. Zbl 0673.68030
Hromkovič, Juraj
1989
Some complexity aspects of VLSI computations. I: A framework for the study of information transfer in VLSI circuits. Zbl 0644.94027
Hromkovič, Juraj
1988
Closure properties of the family of languages defined by systolic tree automata. Zbl 0647.68076
Pardubská, Dana
1988
Geometric methods for on-line recognition of digital straight line segements. Zbl 0647.68118
Creutzburg, Egbert; Hübler, Albrecht; Sýkora, Ondrej
1988
Matrix inversion algorithms for pyramidal multiprocessor system. Zbl 0642.65016
Geus, Lothar; Henning, Walter; Vajteršic, Marián; Volkert, Jens
1988
Logical dependencies and irredundant relations. Zbl 0646.68116
Vu Duc Thi
1988
Some complexity aspects of VLSI computations. II: Topology of circuits and information transfer. Zbl 0649.94022
Hromkovič, Juraj
1988
Some complexity aspects of VLSI computations. III: On the power of input bit permutation in tree and trellis automata. Zbl 0659.68062
Hromkovič, Juraj; Pardubská, Dana
1988
Some complexity aspects of VLSI computations. IV: VLSI circuits with programs. Zbl 0659.68063
Hromkovič, Juraj; Pardubská, Dana
1988
On deadlock detection in systems of communicating finite state machines. Zbl 0639.68009
Gouda, Mohamed G.; Gurari, Eitan M.; Lai, Ten-Hwang; Rosier, Louis E.
1987
Counting classes with finite acceptance types. Zbl 0638.68027
Gundermann, Thomas; Wechsung, Gerd
1987
The hierarchy of Boolean circuits. Zbl 0641.94028
Pudlák, Pavel
1987
Towards “human-consistent” decision support systems through commonsense knowledge-based decision making and control models: a fuzzy logic approach. Zbl 0631.68076
Kacprzyk, Janusz
1987
Some remarks on pipeline processing by cellular automata. Zbl 0639.68044
Vollmar, Roland
1987
An algorithm to find minimal cover of a set of functional dependencies. Zbl 0647.68107
Saxena, P. C.; Tripathi, R. C.
1987
Generalized Pascal triangles with maximal left periods. Zbl 0618.05005
Kochol, Martin
1987
Entity sorts: what are they? Zbl 0633.03002
Materna, Pavel
1987
Systolic tree architecture for some standard functions. Zbl 0633.68043
Culik, Karel II; Jürgensen, Helmut; Mak, Kenneth
1987
Belief structures, possibility theory and decomposable confidence measures on finite sets. Zbl 0657.60006
Dubois, Didier
1986
Asymptotical densities in generalized Pascal triangles. Zbl 0612.68048
Korec, Ivan
1986
Keys and superkeys for relation schemes. Zbl 0639.68122
Demetrovics, János; Ho Thuan
1986
Reversal bounded multicounter machines. Zbl 0579.68032
Hromkovič, Juraj
1985
Tight chip area bounds for sorting. Zbl 0586.68032
Ďuriš, Pavol; Thompson, Clark D.; Sýkora, Ondrej; Vrťo, Imrich
1985
On one-way two-head deterministic finite state automata. Zbl 0605.68079
Hromkovič, Juraj
1985
Nonlinear lower bound for real-time branching programs. Zbl 0579.68031
Ftáčnik, Milan; Hromkovič, Juraj
1985
Computational complexity of probabilistic searching algorithms over Herbrand universes. Zbl 0561.68062
Kramosil, Ivan; Šindelář, Jan
1985
A recursive decomposition property of sets of finite sums of d-tuples of integers. Zbl 0571.68037
Pecht, Josef
1985
The connection between constructive mathematics and computer programming. Zbl 0584.68019
Mayoh, Brian
1985
A graph theoretic approach to the characterization of classes of structured objects. Zbl 0568.62055
Sobik, Fred; Sommerfeld, Erdmute
1984
A categorial approach to knowledge-based systems. Zbl 0535.68042
Georgescu, Ioan
1984
On the number of monotonic Boolean functions. Zbl 0544.94022
Hromkovič, Juraj
1984
Normed protocols and communication complexity. Zbl 0547.68081
Hromkovič, Juraj
1984
Determining the normalization level of a relation on the basis of Armstrong’s axioms. Zbl 0552.68084
Fernandez, María C.
1984
Statistical verification procedures for propositional calculus. Zbl 0529.68066
Kramosil, Ivan
1983
Space logic for robots. Zbl 0508.03014
Varosyan, S. O.
1983
Generalizing and particularizing as the techniques of learning. Zbl 0531.68039
Kodratoff, Y.
1983
all top 5

#### Cited by 298 Authors

 12 Dubois, Didier 12 Hromkovič, Juraj 9 Mitrana, Victor 8 Prade, Henri M. 8 Vantaggi, Barbara 7 Coletti, Giulianella 6 Korec, Ivan 6 Păun, Gheorghe 5 Fachini, Emanuela 5 John, Sunil Jacob 4 Girish, K. P. 4 Hemaspaandra, Lane A. 4 Kratica, Jozef J. 3 Castellanos, Juan 3 Dehmer, Matthias 3 Ďuriš, Pavol 3 Emmert-Streib, Frank 3 Fedrizzi, Mario 3 Kacprzyk, Janusz 3 Kramosil, Ivan 3 Martín-Vide, Carlos 3 Morháč, Miroslav 3 Salomaa, Arto Kustaa 3 Tennenholtz, Moshe 3 Vrto, Imrich 2 Arroyo, Fernando 2 Bonatti, Piero Andrea 2 Capotorti, Andrea 2 Csuhaj-Varjú, Erzsébet 2 de Campos, Luis Miguel 2 Eppstein, David Arthur 2 Fargier, Hélène 2 Filipović, Vladimir 2 Finkel, Alain 2 Gruska, Jozef 2 Huete, Juan F. 2 Kelemen, Jozef 2 Kelemenová, Alica 2 Klette, Reinhard 2 Langer, Miroslav 2 Manea, Florin 2 Mareš, Milan 2 McIver, Annabelle K. 2 Milovanović, Emina I. 2 Milovanović, Igor Ž. 2 Monti, Angelo 2 Napoli, Margherita 2 Pape, Christian 2 Parente, Domenico 2 Rabehaja, Tahiry M. 2 Rocacher, Daniel 2 Rosenfeld, Azriel 2 Sánchez-Couso, José-Ramón 2 Sánchez, Daniel Eduardo 2 Scozzafava, Romano 2 Selivanov, Viktor L’vovich 2 Stanimirović, Zorica 2 Struth, Georg 2 Sýkora, Ondrej 2 Thalheim, Bernhard 2 Tošić, Dušan D. 2 Verlan, Sergey 2 Waczulík, Juraj 2 Warnow, Tandy J. 2 Wong, S. K. Michael 2 Yao, Yiyu 2 Yen, Hsu-Chun 1 Abdulla, Parosh Aziz 1 Alhazov, Artiom 1 Allouche, Jean-Paul Simon 1 Amos, Martyn 1 Andrei, Ştefan 1 Arieli, Ofer 1 Baldan, Paolo 1 Banerjee, Mohua 1 Baumgartner, Peter 1 Becher, Gérard 1 Becker, Helmut 1 Beckert, Bernhard 1 Beigel, Richard 1 Bel Enguix, Gemma 1 Ben Chaabane, Salim 1 Benferhat, Salem 1 Betin, Franck 1 Bilgiç, Taner 1 Bogdanović, Milena 1 Bollmann-Sdorra, Peter 1 Borchert, Bernd 1 Bosc, Patrick 1 Bouquet, Paolo 1 Brassart, Eric 1 Braverman, Mark 1 Brézillon, Patrick 1 Bronevich, Andrey G. 1 Cabós, Joan 1 Cai, Jin-Yi 1 Čangalović, Mirjana M. 1 Cayrol, Claudette 1 Chakrabarty, Kankana 1 Chamorro-Martínez, Jesús ...and 198 more Authors
all top 5

#### Cited in 54 Journals

 37 Theoretical Computer Science 16 Fuzzy Sets and Systems 14 Kybernetika 10 Information Sciences 9 Artificial Intelligence 7 Acta Informatica 7 International Journal of Approximate Reasoning 7 European Journal of Operational Research 6 Information Processing Letters 5 Discrete Applied Mathematics 5 Applied Mathematics and Computation 4 Journal of Computer and System Sciences 4 Mathematical Systems Theory 4 Information and Computation 3 Computers & Mathematics with Applications 3 Mathematica Slovaca 2 Mathematical Social Sciences 2 Journal of Symbolic Computation 2 Mathematical and Computer Modelling 2 RAIRO. Informatique Théorique et Applications 2 Annals of Mathematics and Artificial Intelligence 2 Natural Computing 2 Journal of Applied Logic 1 International Journal of General Systems 1 Mathematical Notes 1 Journal of Statistical Planning and Inference 1 Networks 1 Theory and Decision 1 Circuits, Systems, and Signal Processing 1 Annals of Pure and Applied Logic 1 Journal of Complexity 1 Journal of Computer Science and Technology 1 Algorithmica 1 Journal of Automated Reasoning 1 Annals of Operations Research 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Journal of Global Optimization 1 Designs, Codes and Cryptography 1 Artificial Intelligence Review 1 Pattern Recognition 1 Computational Statistics and Data Analysis 1 Foundations of Computing and Decision Sciences 1 Cybernetics and Systems Analysis 1 Computational Optimization and Applications 1 Journal of Applied Non-Classical Logics 1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ. Seriya 1 1 Journal of the ACM 1 RAIRO. Theoretical Informatics and Applications 1 RAIRO. Operations Research 1 Journal of Intelligent and Fuzzy Systems 1 Advances in Decision Sciences 1 Journal of Applied Mathematics, Statistics and Informatics 1 Journal of Membrane Computing 1 Prikladnaya Diskretnaya Matematika
all top 5

#### Cited in 21 Fields

 173 Computer science (68-XX) 46 Mathematical logic and foundations (03-XX) 17 Information and communication theory, circuits (94-XX) 12 Combinatorics (05-XX) 12 Operations research, mathematical programming (90-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Number theory (11-XX) 7 Numerical analysis (65-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 Biology and other natural sciences (92-XX) 3 Measure and integration (28-XX) 3 Probability theory and stochastic processes (60-XX) 3 Statistics (62-XX) 2 General and overarching topics; collections (00-XX) 2 General topology (54-XX) 2 Systems theory; control (93-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Approximations and expansions (41-XX) 1 Convex and discrete geometry (52-XX)