ITA 2001 35 2 113 0 pdf
Size: 163 KB
Pages: n/a
Date: 2011-01-02
|
|
Recommend this on Google |
Related Documents
Size: 261 KB
Pages: n/a
Date: 2011-01-02
Theoret. InformaticsAppl. 37 2003 365 391 DOI:10. 1 andMadsDam 2 Abstract. rst- order xed. newcondition. cation. 1. Introduction The rst-order -calculus 9 gramveri cation. ofprogramlogics.
Size: 183 KB
Pages: n/a
Date: 2011-01-02
Theoret. InformaticsAppl. 37 2003 255 270 DOI:10. J anMa nuch 1 2 Abstract. ndinganoptimal with setof f 1in- inthebinary r fr. Thissys- f faults. Theprob- in 1. f give.
Size: 172 KB
Pages: n/a
Date: 2011-01-02
Theoret. InformaticsAppl. 37 2003 159 176 DOI:10. MACHINES NorbertPop ely1 Abstract. theirsimulation. ingmachines. 2. cation. 03D15. 1. parallel modelshave beenstudied. classi.
Size: 143 KB
Pages: n/a
Date: 2011-01-02
Theoret. InformaticsAppl. 36 2002 315 327 DOI:10. TeroHarju 1 andDirkNowotka 1 Abstract. in. We. Ononehand, ve. Weshowhowtocon- structanin. Weconstructanin Morse words. cation. 68R15. Introduction.
Size: 197 KB
Pages: n/a
Date: 2011-01-02
Theoret. InformaticsAppl. 36 2002 5 28 DOI:10. POLYPODICCODES 1 Bozapalidou 2 Abstract. eration. cation. 68R05,05C90. 1. Introduction. -algebras groups sub-group ofafreealgebra freegroup.
Size: 184 KB
Pages: n/a
Date: 2011-01-02
Theoret. InformaticsAppl. 35 2001 351 365 CODES YannickGuesnet 1 Abstract. ascode. cation. 94A45. Introduction andmaximality. 1 ,p. 67 4 ,thincodeswith 2 and thincodeswith 3. 5,7. F X ismaximalin F. X ismaximalin F ifandonlyif.
Size: 163 KB
Pages: n/a
Date: 2011-01-02
Theoret. InformaticsAppl. 35 2001 113 127 MarkLevene 1 andGeorgeLoizou 2 Abstract. Were-examine and. foreignkeys. keyfamily. s unknown. Fi;K i. de ;weinsistthat. Wealsoinvesti-. cation. 68P15. 1 6BT,U.
Size: 314 KB
Pages: n/a
Date: 2010-12-27
Theoret. InformaticsAppl. 35 2001 163 185 er emieBourdon 1 ,MarkusNebel 2 andBrigitteVall ee1 Abstract. exibledata. Thepresentpa- i. e. ,thestack-size. Theanalysis asource. Un- models andmore. order. cation.
Size: 160 KB
Pages: n/a
Date: 2010-12-21
Theoret. InformaticsAppl. 35 2001 565 577 F. Mignosi 1 ,A. Restivo 1 andM. Sciortino 1 Abstract. lem. w fromagivenset I ofsubstrings fragments ofaword w. offragments I w denfactorsof w. theword w fromtheset.
Size: 225 KB
Pages: n/a
Date: 2010-12-06
Theoret. InformaticsAppl. 36 2002 97 127 DOI:10. 1 carpi dipmat. unipg. it 2 Universit adiRoma LaSapienza B. Segre deluca mat. uniroma1. itc EDPSciences2002 98 A. CARPIANDA. DELUCA.
Size: 189 KB
Pages: n/a
Date: 2010-12-06
Theoret. InformaticsAppl. 35 2001 403 417 A. VelosodaCosta ;1 Abstract. products. nitegeometric. isestablished. cation. 20M10,68Q68. 1. Introduction 1 automata- theoretic. erentchar-. groups ormonoids.
Size: 166 KB
Pages: n/a
Date: 2010-12-03
Theoret. InformaticsAppl. 36 2002 261 275 DOI:10. 7T11C02720. 1 LaBRI CNRS Universit eration, f bernet janin igw g labri. frc EDPSciences2002 262 J. BERNET,D. JANINANDI. WALUKIEWICZ.
Size: 149 KB
Pages: n/a
Date: 2010-12-03
Theoret. InformaticsAppl. 37 2003 115 126 DOI:10. In. 1 ematique,U. F. R. deMath eParis-7,2place finkel logique. jussieu. frc EDPSciences2003 116 O. FINKEL gers 3 ,see 17,23,24. In de 1,5,19.
Size: 124 KB
Pages: n/a
Date: 2010-12-03
Theoret. InformaticsAppl. 37 2003 105 113 DOI:10. OlivierFinkel 1 Abstract. nitaryra- 20. cation. 03E15. 1. Introduction Acceptanceofin nitewordsby niteautomatawas uchi overtheintegers 3. ! 17,23,24.
Size: 203 KB
Pages: n/a
Date: 2010-11-12
Theoret. InformaticsAppl. 35 2001 331 350 H. Abdulrab 1 ,P. Goral c k2andG. S. Makanin 3 Abstract. v overa freemonoidX F ofsubstitutions vf,f2F v vf v. F inahandy parametrized form. The called.
Size: 229 KB
Pages: n/a
Date: 2010-11-12
Theoret. InformaticsAppl. 37 2003 273 299 DOI:10. NickBenton 1 andMartinHyland 2 Abstract. cation. 1. Introduction 25 asastructur- ects in pure 24,33. Powerand Moggi 30 arrows.
Size: 154 KB
Pages: n/a
Date: 2010-11-12
Theoret. InformaticsAppl. 36 2002 329 339 DOI:10. MicheleZito 1 Abstract. k -CNFon n variablesandm n clausesisO n 1k 2. cation. 1. Introduction propositional proofsystems TheorysuchasNP Co-NP 8. notionof.
Size: 474 KB
Pages: n/a
Date: 2010-11-12
Theoret. InformaticsAppl. 37 2003 179 241 DOI:10. Zolt an Esik 1 andKimG. Larsen 2 Abstract. tweenLindstr omquanti ofgenerators. omquanti languages. cation. 68Q70.
Size: 75 KB
Pages: n/a
Date: 2012-01-21
Theoret. InformaticsAppl. 36 2002 1 3 DOI:10. FilippoMignosi 1 andLucaQ. Zamboni 2 Abstract. cation. 68R15,37B10. B di borderofUif B isbothapre xandsu xof U: U issaidtobe unbordered. Forexample,.
Size: 243 KB
Pages: n/a
Date: 2012-01-10
94 M. H. DECARVALHO,C. L. LUCCHESIANDU. S. R. MURTY Pfa Pfa an. DiscreteAppl. Math. 25 1989 179 180. an 0,1 -matrices. J. Combinat. TheoryB 18 1975 187 208. 05C70 1. aij beann×n. When n isodd,thenit.
Size: 258 KB
Pages: n/a
Date: 2012-01-08
240J. -´E. PINANDH. STRAUBING etal. 1 andStraubing 17. ofthe. Straubing 18 ples. stamps. V isacategory C :A MisinVandf:B A isinC,then f:B Misin V. When C isthefamily V phismsonto.
Size: 78 KB
Pages: n/a
Date: 2011-12-26
Theoret. InformaticsAppl. 36 2002 385 388 DOI:10. OFARNOUX RAUZYSEQUENCES JacquesJustin 1 2 Abstract. Rauzysequences. cation. 68R15. nitewordonA fa;bg. orderA by ab n ,thepre xoflengthnofas.
Size: 163 KB
Pages: n/a
Date: 2011-12-18
Theoret. InformaticsAppl. 35 2001 113 127 MarkLevene 1 andGeorgeLoizou 2 Abstract. Were-examine and. foreignkeys. keyfamily. s unknown. Fi;K i. de ;weinsistthat. Wealsoinvesti-. cation. 68P15. 1 6BT,U.
Size: 293 KB
Pages: n/a
Date: 2011-12-15
Theoret. InformaticsAppl. 35 2001 83 111 C. C// C. cations. howtode. cation. Introduction binarymethod ifit. classof functional pointsinaplane: class Point !realgety:Self ! real.
Size: 166 KB
Pages: n/a
Date: 2011-07-16
Theoret. InformaticsAppl. 36 2002 261 275 DOI:10. 7T11C02720. 1 LaBRI CNRS Universit eration, f bernet janin igw g labri. frc EDPSciences2002 262 J. BERNET,D. JANINANDI. WALUKIEWICZ.
Size: 184 KB
Pages: n/a
Date: 2011-07-08
Theoret. InformaticsAppl. 35 2001 389 401 LANGUAGES ; WernerKuich 1 andN. W. Sauer 2 Abstract. i. e. Thisisinanalogy. cation. 68R15,05C55. 1. Let bea nitealphabet. Thewordw2 isafactor ofthewordv2 sothatv.
Size: 149 KB
Pages: n/a
Date: 2011-07-06
Theoret. InformaticsAppl. 37 2003 115 126 DOI:10. In. 1 ematique,U. F. R. deMath eParis-7,2place finkel logique. jussieu. frc EDPSciences2003 116 O. FINKEL gers 3 ,see 17,23,24. In de 1,5,19.
Comments (not logged in)