Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Kirchner C. — Rewriting Techniques and Applications
Kirchner C. — Rewriting Techniques and Applications



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Rewriting Techniques and Applications

Автор: Kirchner C.

Аннотация:

This volume contains the proceedings of RTA-93, the Fifth International Conference on Rewriting Techniques and Applications, held in Montreal, Canada, in June 1993. The volume includes three invited lectures, "Rewrite Techniques in Theorem Proving" (L. Bachmair); "Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves", (J. Gallier); and "On Some Algorithmic Problems for Groups and Monoids", (S.J. Adian). It also features full versions of 29 papers selected from 91 submissions, 6 system descriptions, and a list of open problems in the field. The papers cover many topics: term rewriting; termination; graph rewriting; constraint solving; semantic unification, disunification and combination; higher-order logics; and theorem proving, with several papers on distributed theorem proving, theorem proving with constraints and completion.


Язык: en

Рубрика: Математика/

Статус предметного указателя: Готов указатель без номеров страниц

ed2k: ed2k stats

Год издания: 2007

Количество страниц: 497

Добавлена в каталог: 17.11.2013

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Adian, S.L.      289
Agusti, J.      17
Ariola, Z.M.      183
Asperti, a.      152
Avenhaus, J.      62
Baader, F.      301
Bachmair, L.      1
Backofen, R.      121
Beyer, M.      451
Biindgen, R.      446
Caron, A.-C.      328
Chakrabarti, S.      77
Coquide, J.-L.      328
Dauchet, M.      328
Delor, C.      389
Denzinger, J.      62
Dershowitz, N.      198 468
Dougherty, D.J.      137
Fernandez, M.      358
Ferreira, M.C.F.      213
Field, J.      259
Gallier, J.      136
Gramlich, B.      228
Gui, Y.      462
Hoot, C.      198
Jouannaud, J.-P.      468
Khasidashvili, Z.      243
Klop, J.W.      468
Laneve, C.      152
Levy, J.      17
Lippe, E.      274
Lowe, M.      451
Lynch, C.      2
Martin, U.      421
Matthews, B.      441
Middledorp, A.      228
Moser, M.      92
Niehren, J.      106
Nieuwenhuis, R.      374 436
Nivela, P.      436
Okada, Y.      462
Plaisted, D.      405
Podelski, A.      106
Puel, L.      389
Raoult, J.-C.      343
Rubio, A.      374
Schulz, K.U.      301
Senizergue, G.      434
Snyder, W.      2
Tajine, M.      316
Treinen, R.      106
Van Raamsdonk, F.      168
Verma, R.      457
Werner, A.      47
Yelick, K.      77
Zantema, H.      213
Zhang, H.      32
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2023
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте