Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Piecewise testable eventsImre Simon 1943-2009 GI Conference: Automata Theory and Formal Languages: (2. 1975 Kaiserslautern)Proceedings Berlin; Heidelberg : Springer, 1975Berlin Heidelberg Springer 1975Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo de Congresso
|
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 1978Localização: IME - Inst. Matemática e Estatística (PROD-2968661 )(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
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 1988Localização: IME - Inst. Matemática e Estatística (PROD-781435 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
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 1989Localização: IME - Inst. Matemática e Estatística (S L471c v.377 ) e outros locais(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Properties of factorization forestsImre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1988 Ramatuelle, France)Proceedings Berlin : Springer, 1989Berlin Springer 1989Localização: IME - Inst. Matemática e Estatística (S L471c v.386 ) e outros locais(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
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 1990Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-816500 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
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 1991Localização: IME - Inst. Matemática e Estatística (PROD-824404 ) e outros locais(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
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 1992Localização: IME - Inst. Matemática e Estatística (PROD-834804 ) e outros locais(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
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 1992Localização: IME - Inst. Matemática e Estatística (PROD-825028 ) e outros locais(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
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 1992Localização: IME - Inst. Matemática e Estatística (PROD-828315 ) e outros locais(Acessar) |