Integration, the price of success : Extended abstractSIFAKIS, J.Lecture notes in computer science. 1999, pp 52-55, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

On the index of positive programmed formal languagesGUOZHU DONG.Information processing letters. 1995, Vol 54, Num 2, pp 105-110, issn 0020-0190Article

The structure of invertible substitutions on a three-letter alphabetBO TAN; WEN, Zhi-Xiong; YIPING ZHANG et al.Advances in applied mathematics (Print). 2004, Vol 32, Num 4, pp 736-753, issn 0196-8858, 18 p.Article

Automates et systèmes de numérationRIGO, Michel.Bulletin de la Société Royale des Sciences de Liège. 2004, Vol 73, Num 5-6, pp 257-270, issn 0037-9565, 14 p.Article

Splicing representations of strictly locally testable languagesHEAD, T.Discrete applied mathematics. 1998, Vol 87, Num 1-3, pp 139-147, issn 0166-218XArticle

Solving trace equations using lexicographical normal formsDIEKERT, V; MATIYASEVICH, Y; MUSCHOLL, A et al.Lecture notes in computer science. 1997, pp 336-346, issn 0302-9743, isbn 3-540-63165-8Conference Paper

Parallel detection of all palindromes in a stringAPOSTOLICO, A; BRESLAUER, D; ZVI GALIL et al.Theoretical computer science. 1995, Vol 141, Num 1-2, pp 163-173, issn 0304-3975Article

Recombinant DNA, gene splicing as generative devices of formal languagesBONIZZONI, Paola; DE FELICE, Clelia; MAURI, Giancarlo et al.Lecture notes in computer science. 2005, pp 65-67, issn 0302-9743, isbn 3-540-26179-6, 3 p.Conference Paper

Constructing finite maximal codes from Schützenberger conjectureANSELMO, Marcella.Lecture notes in computer science. 2001, pp 197-214, issn 0302-9743, isbn 3-540-42672-8Conference Paper

Security architectures using formal methodsBOYD, C.IEEE journal on selected areas in communications. 1993, Vol 11, Num 5, pp 694-701, issn 0733-8716Article

Cyto-Sim : a formal language model and stochastic simulator of membrane-enclosed biochemical processesSEDWARDS, Sean; MAZZA, Tommaso.Bioinformatics (Oxford. Print). 2007, Vol 23, Num 20, pp 2800-2802, issn 1367-4803, 3 p.Article

On the periods of partial wordsSHUR, Arseny M; KONOVALOVA, Yulia V.Lecture notes in computer science. 2001, pp 657-665, issn 0302-9743, isbn 3-540-42496-2Conference Paper

On recognizable and rational formal power series in partially commuting variablesDROSTE, M; GASTIN, P.Lecture notes in computer science. 1997, pp 682-692, issn 0302-9743, isbn 3-540-63165-8Conference Paper

A note on regular classes in special Thue systemsBUCHER, W.Discrete applied mathematics. 1988, Vol 21, Num 3, pp 199-205, issn 0166-218XArticle

Critical pair criteria for completionBACHMAIR, L; DERSHOWITZ, N.Journal of symbolic computation. 1988, Vol 6, Num 1, pp 1-18, issn 0747-7171Article

Abstractions preserving parameter confidentialityGÜRGENS, Sigrid; OCHSENSCHLÄGER, Peter; RUDOLPH, Carsten et al.Lecture notes in computer science. 2005, pp 418-437, issn 0302-9743, isbn 3-540-28963-1, 1Vol, 20 p.Conference Paper

Graphical test specification -the Graphical Format of TTCN-3BAKER, Paul; RUDOLPH, Ekkart; SCHIEFERDECKER, Ina et al.Lecture notes in computer science. 2001, pp 148-167, issn 0302-9743, isbn 3-540-42281-1Conference Paper

An elementary proof of double Greibach normal form = Une démonstration élémentaire de la double forme normale de GreibachENGELFRIET, J.Information processing letters. 1992, Vol 44, Num 6, pp 291-293, issn 0020-0190Article

Bi-infinitary codesDO LONG VAN; THOMAS, D. G; SUBRAMANIAN, K. G et al.Informatique théorique et applications (Imprimé). 1990, Vol 24, Num 1, pp 67-87, issn 0988-3754, 21 p.Article

Some remarks on the possibility of extending resolution proof procedures to intuitionistic logicCIALDEA, M.Information processing letters. 1986, Vol 22, Num 2, pp 87-90, issn 0020-0190Article

Refreshing patternsWIRFS-BROCK, Rebecca J.IEEE software. 2006, Vol 23, Num 3, pp 45-47, issn 0740-7459, 3 p.Article

CODEGEN : The generation and testing of DNA code wordsKEPHART, David E; LEFEVRE, Jeff.Congress on evolutionary computation. 2004, isbn 0-7803-8515-2, 2Vol, vol 2, 1865-1873Conference Paper

Minimal covers of formal languagesDOMARATZKI, Michael; SHALLIT, Jeffrey; SHENG YU et al.Lecture notes in computer science. 2002, pp 319-329, issn 0302-9743, isbn 3-540-43453-4Conference Paper

An approach to anaphora based on mental modelsBOELLA, Guido; LESMO, Leonardo.Lecture notes in computer science. 2001, pp 413-416, issn 0302-9743, isbn 3-540-42379-6Conference Paper

Page / 65