Tree transducers, L systems, and two-way machines. Zbl 0426.68075
Engelfriet, Joost; Rozenberg, Grzegorz; Slutzki, Giora |
|
1980
|
A duality theory for bilattices. Zbl 1012.06008
Mobasher, B.; Pigozzi, D.; Slutzki, G.; Voutsadakis, G. |
|
2000
|
Scoring of web pages and tournaments-axiomatizations. Zbl 1132.91418
Slutzki, Giora; Volij, Oscar |
|
2006
|
Parallel and two-way automata on directed ordered acyclic graphs. Zbl 0482.68051
Kamimura, Tsutomu; Slutzki, Giora |
|
1981
|
Complexity of some problems concerning varieties and quasi-varieties of algebras. Zbl 0963.68077
Bergman, Clifford; Slutzki, Giora |
|
2000
|
Independence numbers of product graphs. Zbl 0811.05033
Jha, P. K.; Slutzki, G. |
|
1994
|
Alternating tree automata. Zbl 0595.68050
Slutzki, Giora |
|
1985
|
Using sparsification for parametric minimum spanning tree problems. Zbl 0873.68169
Fernández-Baca, David; Slutzki, Giora; Eppstein, David |
|
1996
|
Convex-expansions algorithms for recognition and isometric embedding of median graphs. Zbl 0770.05043
Jha, Pranava K.; Slutzki, Giora |
|
1992
|
Computational complexity of term-equivalence. Zbl 0931.68058
Bergman, Clifford; Juedes, David; Slutzki, Giora |
|
1999
|
Multi-valued logic programming semantics An algebraic approach. Zbl 0874.68046
Mobasher, Bamshad; Pigozzi, Don; Slutzki, Giora |
|
1997
|
An algorithm for searching a polygonal region with a flashlight. Zbl 1117.68527
Lavalle, Steven M.; Simov, Borislav H.; Slutzki, Giora |
|
2002
|
Ranking participants in generalized tournaments. Zbl 1071.91014
Slutzki, Giora; Volij, Oscar |
|
2005
|
Extended macro grammars and stack controlled machines. Zbl 0575.68081
Engelfriet, Joost; Slutzki, Giora |
|
1984
|
Bounded nesting in macro grammars. Zbl 0453.68051
Engelfriet, Joost; Slutzki, Giora |
|
1979
|
Parametric multiple sequence alignment and phylogeny construction. Zbl 1115.92045
Fernández-Baca, David; Seppäläinen, Timo; Slutzki, Giora |
|
2004
|
Deterministic top-down tree transducers with iterated look-ahead. Zbl 0873.68137
Slutzki, Giora; Vágvölgyi, Sándor |
|
1995
|
Package-based description logics. Zbl 1237.68202
Bao, Jie; Voutsadakis, George; Slutzki, Giora; Honavar, Vasant |
|
2009
|
Tree transducers, \(L\) systems and two-way machines (extended abstract). Zbl 1282.68154
Engelfriet, J.; Rozenberg, G.; Slutzki, G. |
|
1978
|
A hierarchy of deterministic top-down tree transformations. Zbl 0794.68080
Slutzki, Giora; Vágvölgyi, Sándor |
|
1993
|
Parametric problems on graphs of bounded tree-width. Zbl 0801.90114
Fernández-Baca, David; Slutzki, Giora |
|
1994
|
Clearing a polygon with two 1-searchers. Zbl 1170.65014
Simov, Borislav H.; Slutzki, Giora; Lavalle, Steven M. |
|
2009
|
An algorithm for searching a polygonal region with a flashlight. Zbl 1375.68153
LaValle, Steven M.; Simov, Borislav H.; Slutzki, Giora |
|
2000
|
Linear-time algorithms for parametric minimum spanning tree problems on planar graphs. Zbl 0901.68146
Fernández-Baca, David; Slutzki, Giora |
|
1997
|
A scheme to construct distance-three codes using Latin squares, with applications to the \(n\)-cube. Zbl 0988.94030
Jha, Pranava K.; Slutzki, Giora |
|
1995
|
Using sparsification for parametric minimum spanning tree problems. Zbl 1502.68224
Fernández-Baca, David; Slutzki, Giora; Eppstein, David |
|
1996
|
A note on outerplanarity of product graphs. Zbl 0770.05042
Jha, P. K.; Slutzki, G. |
|
1993
|
A generalized Ogden’s lemma for linear context-free languages. Zbl 1022.68568
Boonyavatana, R.; Slutzki, G. |
|
1986
|
Simple programs and their decision problems. Zbl 0364.68014
Pnueli, A.; Slutzki, G. |
|
1977
|
Ogden’s lemma for nonterminal bounded languages. Zbl 0631.68065
Boonyavatana, R.; Slutzki, G. |
|
1986
|
Transductions of dags and trees. Zbl 0505.68035
Kamimura, Tsutomu; Slutzki, Giora |
|
1982
|
Parallel and two-way recognizers of directed acyclic graphs. Zbl 0431.68079
Kamimura, Tsutomu; Slutzki, Giora |
|
1979
|
Descriptional complexity of concurrent processes (preliminary version). Zbl 0441.68019
Slutzki, Giora |
|
1980
|
Optimal parametric search on graphs of bounded tree-width. Zbl 0866.68029
Fernández-Baca, David; Slutzki, Giora |
|
1997
|
Bounds for parametric sequence comparison. Zbl 1015.92015
Fernández-Baca, David; Seppäläinen, Timo; Slutzki, Giora |
|
2002
|
Computational complexity of generators and nongenerators in algebra. Zbl 1007.68075
Bergman, Clifford; Slutzki, Giora |
|
2002
|
Parametric multiple sequence alignment and phylogeny construction. Zbl 0964.92504
Fernández-Baca, David; Seppäläinen, Timo; Slutzki, Giora |
|
2000
|
The interchange or pump (di)lemmas for context-free languages. Zbl 0647.68074
Boonyavatana, R.; Slutzki, G. |
|
1988
|
A conceptual framework for secrecy-preserving reasoning in knowledge bases. Zbl 1354.68259
Tao, Jia; Slutzki, Giora; Honavar, Vasant |
|
2015
|
PSpace tableau algorithms for acyclic modalized \({\mathcal{ALC}}\). Zbl 1291.68387
Tao, Jia; Slutzki, Giora; Honavar, Vasant |
|
2012
|
Parametric problems on graphs of bounded tree-width. Zbl 1508.90106
Fernández-Baca, David; Slutzki, Giora |
|
1992
|
Optimal parametric search on graphs of bounded tree-width. Zbl 1502.68108
Fernández-Baca, David; Slutzki, Giora |
|
1994
|
Linear-time algorithms for parametric minimum spanning tree problems on planar graphs. Zbl 1495.68167
Fernández-Baca, David; Slutzki, Giora |
|
1995
|
Solving parametric problems on trees. Zbl 0682.68044
Fernández-Baca, David; Slutzki, Giora |
|
1989
|
Computational complexity of some problems involving congruences on algebras. Zbl 0988.68082
Bergman, Clifford; Slutzki, Giora |
|
2002
|
Comparisons between some pumping conditions for context-free languages. Zbl 0679.68139
Hewett, R.; Slutzki, G. |
|
1989
|
Alternating tree automata. Zbl 0523.68043
Slutzki, Giora |
|
1983
|
Dags and Chomsky hierarchy (extended abstract). Zbl 0414.68054
Kamimura, Tsutomu; Slutzki, Giora |
|
1979
|
Automatic programming of finite state linear programs. Zbl 0462.68002
Pnueli, Amir; Slutzki, Giora |
|
1981
|
A conceptual framework for secrecy-preserving reasoning in knowledge bases. Zbl 1354.68259
Tao, Jia; Slutzki, Giora; Honavar, Vasant |
|
2015
|
PSpace tableau algorithms for acyclic modalized \({\mathcal{ALC}}\). Zbl 1291.68387
Tao, Jia; Slutzki, Giora; Honavar, Vasant |
|
2012
|
Package-based description logics. Zbl 1237.68202
Bao, Jie; Voutsadakis, George; Slutzki, Giora; Honavar, Vasant |
|
2009
|
Clearing a polygon with two 1-searchers. Zbl 1170.65014
Simov, Borislav H.; Slutzki, Giora; Lavalle, Steven M. |
|
2009
|
Scoring of web pages and tournaments-axiomatizations. Zbl 1132.91418
Slutzki, Giora; Volij, Oscar |
|
2006
|
Ranking participants in generalized tournaments. Zbl 1071.91014
Slutzki, Giora; Volij, Oscar |
|
2005
|
Parametric multiple sequence alignment and phylogeny construction. Zbl 1115.92045
Fernández-Baca, David; Seppäläinen, Timo; Slutzki, Giora |
|
2004
|
An algorithm for searching a polygonal region with a flashlight. Zbl 1117.68527
Lavalle, Steven M.; Simov, Borislav H.; Slutzki, Giora |
|
2002
|
Bounds for parametric sequence comparison. Zbl 1015.92015
Fernández-Baca, David; Seppäläinen, Timo; Slutzki, Giora |
|
2002
|
Computational complexity of generators and nongenerators in algebra. Zbl 1007.68075
Bergman, Clifford; Slutzki, Giora |
|
2002
|
Computational complexity of some problems involving congruences on algebras. Zbl 0988.68082
Bergman, Clifford; Slutzki, Giora |
|
2002
|
A duality theory for bilattices. Zbl 1012.06008
Mobasher, B.; Pigozzi, D.; Slutzki, G.; Voutsadakis, G. |
|
2000
|
Complexity of some problems concerning varieties and quasi-varieties of algebras. Zbl 0963.68077
Bergman, Clifford; Slutzki, Giora |
|
2000
|
An algorithm for searching a polygonal region with a flashlight. Zbl 1375.68153
LaValle, Steven M.; Simov, Borislav H.; Slutzki, Giora |
|
2000
|
Parametric multiple sequence alignment and phylogeny construction. Zbl 0964.92504
Fernández-Baca, David; Seppäläinen, Timo; Slutzki, Giora |
|
2000
|
Computational complexity of term-equivalence. Zbl 0931.68058
Bergman, Clifford; Juedes, David; Slutzki, Giora |
|
1999
|
Multi-valued logic programming semantics An algebraic approach. Zbl 0874.68046
Mobasher, Bamshad; Pigozzi, Don; Slutzki, Giora |
|
1997
|
Linear-time algorithms for parametric minimum spanning tree problems on planar graphs. Zbl 0901.68146
Fernández-Baca, David; Slutzki, Giora |
|
1997
|
Optimal parametric search on graphs of bounded tree-width. Zbl 0866.68029
Fernández-Baca, David; Slutzki, Giora |
|
1997
|
Using sparsification for parametric minimum spanning tree problems. Zbl 0873.68169
Fernández-Baca, David; Slutzki, Giora; Eppstein, David |
|
1996
|
Using sparsification for parametric minimum spanning tree problems. Zbl 1502.68224
Fernández-Baca, David; Slutzki, Giora; Eppstein, David |
|
1996
|
Deterministic top-down tree transducers with iterated look-ahead. Zbl 0873.68137
Slutzki, Giora; Vágvölgyi, Sándor |
|
1995
|
A scheme to construct distance-three codes using Latin squares, with applications to the \(n\)-cube. Zbl 0988.94030
Jha, Pranava K.; Slutzki, Giora |
|
1995
|
Linear-time algorithms for parametric minimum spanning tree problems on planar graphs. Zbl 1495.68167
Fernández-Baca, David; Slutzki, Giora |
|
1995
|
Independence numbers of product graphs. Zbl 0811.05033
Jha, P. K.; Slutzki, G. |
|
1994
|
Parametric problems on graphs of bounded tree-width. Zbl 0801.90114
Fernández-Baca, David; Slutzki, Giora |
|
1994
|
Optimal parametric search on graphs of bounded tree-width. Zbl 1502.68108
Fernández-Baca, David; Slutzki, Giora |
|
1994
|
A hierarchy of deterministic top-down tree transformations. Zbl 0794.68080
Slutzki, Giora; Vágvölgyi, Sándor |
|
1993
|
A note on outerplanarity of product graphs. Zbl 0770.05042
Jha, P. K.; Slutzki, G. |
|
1993
|
Convex-expansions algorithms for recognition and isometric embedding of median graphs. Zbl 0770.05043
Jha, Pranava K.; Slutzki, Giora |
|
1992
|
Parametric problems on graphs of bounded tree-width. Zbl 1508.90106
Fernández-Baca, David; Slutzki, Giora |
|
1992
|
Solving parametric problems on trees. Zbl 0682.68044
Fernández-Baca, David; Slutzki, Giora |
|
1989
|
Comparisons between some pumping conditions for context-free languages. Zbl 0679.68139
Hewett, R.; Slutzki, G. |
|
1989
|
The interchange or pump (di)lemmas for context-free languages. Zbl 0647.68074
Boonyavatana, R.; Slutzki, G. |
|
1988
|
A generalized Ogden’s lemma for linear context-free languages. Zbl 1022.68568
Boonyavatana, R.; Slutzki, G. |
|
1986
|
Ogden’s lemma for nonterminal bounded languages. Zbl 0631.68065
Boonyavatana, R.; Slutzki, G. |
|
1986
|
Alternating tree automata. Zbl 0595.68050
Slutzki, Giora |
|
1985
|
Extended macro grammars and stack controlled machines. Zbl 0575.68081
Engelfriet, Joost; Slutzki, Giora |
|
1984
|
Alternating tree automata. Zbl 0523.68043
Slutzki, Giora |
|
1983
|
Transductions of dags and trees. Zbl 0505.68035
Kamimura, Tsutomu; Slutzki, Giora |
|
1982
|
Parallel and two-way automata on directed ordered acyclic graphs. Zbl 0482.68051
Kamimura, Tsutomu; Slutzki, Giora |
|
1981
|
Automatic programming of finite state linear programs. Zbl 0462.68002
Pnueli, Amir; Slutzki, Giora |
|
1981
|
Tree transducers, L systems, and two-way machines. Zbl 0426.68075
Engelfriet, Joost; Rozenberg, Grzegorz; Slutzki, Giora |
|
1980
|
Descriptional complexity of concurrent processes (preliminary version). Zbl 0441.68019
Slutzki, Giora |
|
1980
|
Bounded nesting in macro grammars. Zbl 0453.68051
Engelfriet, Joost; Slutzki, Giora |
|
1979
|
Parallel and two-way recognizers of directed acyclic graphs. Zbl 0431.68079
Kamimura, Tsutomu; Slutzki, Giora |
|
1979
|
Dags and Chomsky hierarchy (extended abstract). Zbl 0414.68054
Kamimura, Tsutomu; Slutzki, Giora |
|
1979
|
Tree transducers, \(L\) systems and two-way machines (extended abstract). Zbl 1282.68154
Engelfriet, J.; Rozenberg, G.; Slutzki, G. |
|
1978
|
Simple programs and their decision problems. Zbl 0364.68014
Pnueli, A.; Slutzki, G. |
|
1977
|