Large deviations for noninteracting infinite-particle systemsDONSKER, M. D; VARADHAN, S. R. S.Journal of statistical physics. 1987, Vol 46, Num 5-6, pp 1195-1232, issn 0022-4715Article

Georg Cantor, et les infinis furent = Georg Cantor and the infinites wereNOWAK, Mathieu.La Recherche (Imprimé). 2009, Num 428, pp 48-51, issn 0029-5671, 4 p.Article

Infini et impossible! = Infinite and impossibleDELAHAYE, Jean-Paul.Pour la science (Imprimé). 2011, Num 403, pp 88-93, issn 0153-4092, 6 p.Article

Formal verification of infinite state systems using boolean methodsBRYANT, Randal E.Lecture notes in computer science. 2006, pp 1-3, issn 0302-9743, isbn 3-540-36834-5, 1Vol, 3 p.Conference Paper

On infinite Steiner systemsGRANNELL, M. J; GRIGGS, T. S; PHELAN, J. S et al.Discrete mathematics. 1991, Vol 97, Num 1-3, pp 199-202, issn 0012-365XArticle

UNIQUENESS OF SOLUTIONS OF AN INFINITE SYSTEM OF EQUATIONS.CHIN HUNG CHING; CHUI CK.1974; ROCKY MOUNTAIN J. MATH.; U.S.A.; DA. 1974; VOL. 4; NO 4; PP. 635-642; BIBL. 7 REF.Article

FONCTION SPECTRALE DU TYPE DE MARCHENKO POUR UN SYSTEME INFINI D'EQUATIONS AUX DIFFERENCESKISHAKEVICH YU L.1972; TEOR. FUNKC. FUKCIONAL. ANAL. PRILOZH., U.S.S.R.; S.S.S.R.; DA. 1972; NO 16; PP. 59-68; BIBL. 9 REF.Serial Issue

RECURRENT RANDOM WALK OF AN INFINITE PARTICLE SYSTEM.SPITZER F.1974; TRANS. AMER. MATH. SOC.; U.S.A.; DA. 1974; VOL. 198; PP. 191-199; BIBL. 8 REF.Article

BESKONECHNYE SISTEMY DIFFERENTSIAL'NYKH URAVNENIJ. = SYSTEMES INFINIS D'EQUATIONS DIFFERENTIELLESVALEEV KG; ZHAUTYKOV OA.1974; ALMA-ATA; NAUKA; DA. 1974; PP. 1-415; BIBL. 7 P. 1/2Book

Concurrence for infinite-dimensional quantum systemsYU GUO; JINCHUAN HOU; YUNCAI WANG et al.Quantum information processing (Print). 2013, Vol 12, Num 8, pp 2641-2653, issn 1570-0755, 13 p.Article

Deciding monotonic gamesPAROSH AZIZ ABDULLA; BOUAJJANI, Ahmed; D'ORSO, Julien et al.Lecture notes in computer science. 2003, pp 1-14, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Do we need liveness? Approximation of liveness properties by safety propertiesULTES-NITSCHE, Ulrich.Lecture notes in computer science. 2002, pp 279-287, issn 0302-9743, isbn 3-540-00145-X, 9 p.Conference Paper

Languages, rewriting systems, and verification of infinite-state systemsBOUAJJANI, Ahmed.Lecture notes in computer science. 2001, pp 24-39, issn 0302-9743, isbn 3-540-42287-0Conference Paper

Algorithmic verification of infinite-state systemsBOUAJJANI, Ahmed.Theoretical computer science. 2001, Vol 256, Num 1-2, issn 0304-3975, 169 p.Serial Issue

Verification of infinite-state systems by specialization of CLP programsFIORAVANTI, Fabio.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42863-1, p. 762Conference Paper

The UCLID decision procedureLAHIRI, Shuvendu K; SESHIA, Sanjit A.Lecture notes in computer science. 2004, pp 475-478, issn 0302-9743, isbn 3-540-22342-8, 4 p.Conference Paper

Binary patterns in infinite binary wordsRESTIVO, Antonio; SALEMI, Sergio.Formal and natural computing-eessays dedicated to Grzegorz Rozenberg. Lecture notes in computer science. 2002, pp 107-116, issn 0302-9743, isbn 3-540-43190-XBook Chapter

Solving the linear quadratic optimal control problem for infinite-dimensional systemsGRAD, J. R; MORRIS, K. A.Computers & mathematics with applications (1987). 1996, Vol 32, Num 9, pp 99-119, issn 0898-1221Article

The Sullivan model for the wetting transition in a closed systemDING, E. J.Journal of physics. Condensed matter (Print). 1994, Vol 6, Num 20, pp 3641-3652, issn 0953-8984Article

On a problem of Stein concerning infinite coversVANDEN EYNDEN, C.The American mathematical monthly. 1992, Vol 99, Num 4, pp 355-358, issn 0002-9890Article

A slow growing analogue to Buchhol' proofARAI, T.Annals of pure and applied logic. 1991, Vol 54, Num 2, pp 101-120, issn 0168-0072Article

FAST : acceleration from theory to practiceBARDIN, Sébastien; FINKEL, Alain; LEROUX, Jerome et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 5, pp 401-424, issn 1433-2779, 24 p.Article

Output stabilisation for distributed semilinear systemsZERRIK, E; OUZAHRA, M.IET control theory & applications (Print). 2007, Vol 1, Num 3, pp 838-843, issn 1751-8644, 6 p.Article

Automation of recursive path ordering for infinite labelled rewrite systemsKOPROWSKI, Adam; ZANTEMA, Hans.Lecture notes in computer science. 2006, pp 332-346, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

A logical reconstruction of reachabilityRYBINA, Tatiana; VORONKOV, Andrei.Lecture notes in computer science. 2003, pp 222-237, issn 0302-9743, isbn 3-540-20813-5, 16 p.Conference Paper