Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Conference Paper
|
![]() |
Piecewise testable eventsImre Simon 1943-2009 GI Conference: Automata Theory and Formal Languages: (2. 1975 Kaiserslautern)Proceedings Berlin; Heidelberg : Springer, 1975Berlin Heidelberg Springer 1975Online access. The library also has physical copies. |
2 |
Material Type: Conference Paper
|
![]() |
Limited subsets of a free monoidImre Simon 1943-2009 Annual Symposium on Foundations of Computer Science - SFCS (19. 1978 Ann Arbor, Michigan)Proceedings New Yor : IEEE Computer Society, 1978New York IEEE Computer Society 1978Available at IME - Inst. Matemática e Estatística (PROD-2968661 )(GetIt) |
3 |
Material Type: Conference Paper
|
![]() |
Recognizable sets with multiplicities in the tropical semiringImre Simon 1943-2009 International Symposium on Mathematical Foundations of Computer Science - MFCS (13. 1988 Carlsbad, Czechoslovakia)Proceedings Berlin : Springer, 1988Berlin Springer 1988Available at IME - Inst. Matemática e Estatística (PROD-781435 ) and other locations(GetIt) |
4 |
Material Type: Conference Paper
|
![]() |
Sequence comparison some theory and some practiceImre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)Proceedings Berlin : Springer, 1989Berlin Springer 1989Available at IME - Inst. Matemática e Estatística (S L471c v.377 ) and other locations(GetIt) |
5 |
Material Type: Conference Paper
|
![]() |
Properties of factorization forestsImre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1988 Ramatuelle, France)Proceedings Berlin : Springer, 1989Berlin Springer 1989Available at IME - Inst. Matemática e Estatística (S L471c v.386 ) and other locations(GetIt) |
6 |
Material Type: Conference Paper
|
![]() |
Role of pragmatics in natural language processingSandra Maria Aluísio Doris Ferraz de Aragon; International Conference of the Chilean Computer Science Society (10. 1990 Santiago)Proceedings Santiago : Sociedad Chilena de Ciencias de la Computation, 1990Santiago Sociedad Chilena de Ciencias de la Computation 1990Available at ICMC - Inst. Ciên. Mat. Computação (PROD-816500 ) and other locations(GetIt) |
7 |
Material Type: Conference Paper
|
![]() |
Nonlinear parity circuits and their cryptographic applicationsKenji Koyama Routo Terada; Conference on the Theory and Application of Cryptography - CRYPTO (1990 Santa Barbara, CA)Proceedings Berlin : Springer, 1991Berlin Springer 1991Available at IME - Inst. Matemática e Estatística (PROD-824404 ) and other locations(GetIt) |
8 |
Material Type: Conference Paper
|
![]() |
Compression and entropyGeorges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)Proceedings Berlin : Springer, 1992Berlin Springer 1992Available at IME - Inst. Matemática e Estatística (PROD-834804 ) and other locations(GetIt) |
9 |
Material Type: Conference Paper
|
![]() |
Achieving optimality for gate matrix layout and pla folding a graph theoretical approachAfonso Galvão Ferreira Siang Wun Song; Latin American Symposium on Theoretical Informatics - LATIN '92 (1992 São Paulo, BR)Proceedings Berlin : Springer, 1992Berlin Springer 1992Available at IME - Inst. Matemática e Estatística (PROD-825028 ) and other locations(GetIt) |
10 |
Material Type: Conference Paper
|
![]() |
New techniques for cycle shrinkingYves Robert Siang Wun Song; International Conference on Parallel Architectures and Languages Europe - PARLE (4. 1992 Paris)Proceedings Berlin : Springer, 1992Berlin Springer 1992Available at IME - Inst. Matemática e Estatística (PROD-828315 ) and other locations(GetIt) |