"article scientifique publi\u00E9 en 2002"@fr . "2002-10-01T00:00:00Z"^^ . "Streams and strings in formal proofs"@nl . "10.1016/S0304-3975(01)00145-1" . . . . . . . "Streams and strings in formal proofs"@en . "journals/tcs/Carbone02" . . "Streams and strings in formal proofs"@nl . "1" . . "Streams and strings in formal proofs"@en . "Streams and strings in formal proofs"@en . . . "\u043D\u0430\u0443\u043A\u043E\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044F, \u043E\u043F\u0443\u0431\u043B\u0456\u043A\u043E\u0432\u0430\u043D\u0430 \u0432 \u0436\u043E\u0432\u0442\u043D\u0456 2002"@uk . . . . . "45-83" . "1061.03059" . "Streams and strings in formal proofs"@en . . "wetenschappelijk artikel"@nl . . . "288" . "im Oktober 2002 ver\u00F6ffentlichter wissenschaftlicher Artikel"@de . . . . . "Streams and strings in formal proofs"@nl . . . . . . .