Sökresultat

The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contr...

Läs mer »

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system de...

Läs mer »

This volume contains the proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002),which was held July 22- 24,2002 in Copenhagen as part of the 3rd Federated Logic Conference (FLoC 2002). RTA is the ma jo...

Läs mer »

The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003.The 26 revised regular papers and 6 system descriptions presented together with 3 invited contri...

Läs mer »

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.The 23 revised full papers presented together with two system des...

Läs mer »

Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, pr...

Läs mer »

This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewrit...

Läs mer »

This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995. The 27 full revised papers were selected from a total of 87 submissions. In...

Läs mer »

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996. The 27 revised full papers presented in this volume were selected fr...

Läs mer »

This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997. The 24 revised full papers presented were selected from a total of 54 submiss...

Läs mer »

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a t...

Läs mer »

This volume contains the proceedings of the 10th International Conference on RewritingTechniques andApplicationsheldfromJuly2-4,1999inTrento, Italy, as part of the Federated Logic Conference (FLoC'99). The RTAconferences are dedicated to all aspec...

Läs mer »

This volume contains the proceedings of the 11th International Conference on Rewriting Techniques and Applications. The conference was held July 10-12, 2000,attheUniversityofEastAnglia,Norwich,U. K. Itisthemajorforumfor thepresentationofresearchon...

Läs mer »

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a t...

Läs mer »

This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. The 30 revised full paper...

Läs mer »

This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. The 30 revised full paper...

Läs mer »

The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from...

Läs mer »

The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from...

Läs mer »

Thisvolumecontainsthepapersofthe20thInternationalConferenceonRewr- ing Techniques and Applications (RTA 2009), which was held from June 29 to July 1, 2009, in Bras' ?lia, Brazil as part of the 5th International Conference on Rewriting, Deduction, ...

Läs mer »

Effektivnost' provedeniya operativnogo vmeshatel'stva pri ostrom perikoronite i giperplasticheskikh obrazovaniyakh v razlichnykh otdelakh rotovoy polosti s ispol'zovaniem traditsionnogo metoda, nesmotrya na razrabotku instrumentariya i tekhniki dl...

Läs mer »

V predstavlennoy rabote obobshchen opyt Meditsinskogo radiologicheskogo nauchnogo tsentra po klinicheskomu primeneniyu fotodinamicheskoy terapii v razlichnykh skhemakh lecheniya raka slizistoy obolochki polosti rta. Privedeno opisanie problem diag...

Läs mer »

Khronicheskiy parodontit i khronicheskiy tonzillit yavlyayutsya naibolee rasprostranennymi vospalitel'nymi zabolevaniyami slizistoy polosti rta i glotki. V etiopatogeneze etikh zabolevaniy znachitel'nuyu rol' igrayut izmeneniya vrozhdennykh i adap...

Läs mer »

Monografiya posvyashchena voprosam professional'noy gigieny polosti rta na stomatologicheskom prieme. Osoboe vnimanie udeleno teoreticheskomu i klinicheskomu obosnovaniyu roli professional'noy gigieny polosti rta kak odnomu iz osnovnykh sposobov p...

Läs mer »

V dannoy monografii sobrany novye indeksy a takzhe redko vstrechayushchiesya indeksy gigieny parodontal'nye indeksy, indeksy gigieny yazyka razlichnykh avtorov. Dannaya indeksy bolee udobny, informativny v rabote vracha-stomatologa, stomatolog-par...

Läs mer »

Diagnostika patologicheskikh protsessov trebuet ot vracha vysokogo professionalizma dlya provedeniya funktsional'noy diagnostiki mezhdu pobochnym deystviem pri prieme lekarstv i razvitiem osnovnogo stomatologicheskogo zabolevaniya, vyyavlenie perv...

Läs mer »