Информационная система "Конференции"



9-ая Азиатская конференция по логике

16-19 Августа, 2005, Новосибирск

Список докладов

Всего докладов: 92

[1][41][81]

  1. Arai T. Some results in the epsilon substitution method

  2. Arbiser A. Abstract rewriting systems and subsystems: understanding subcalculi and strategies

  3. Ardeshir M. Basic Arithmetics

  4. Choe K.-M., Eo H., О S., Шилов Н.В., Yi K. Proofs about folklore: why model checking = reachability?

  5. Costa-Leita A. Paraconsistentization of logics

  6. Curien P. Sequential algorithms as bistable maps

  7. Dimitracopaulos C, Sirokofskich A.I. On a problem of L.D. Beklemishev

  8. Djelloul K. , Colmerauer A. Combination of Trees and Additive Real numbers in a Complete First-Order Theory.

  9. Gencer C. Basis For Passive Inference Rules In The Modal Logic K 4

  10. Hausser R.R. Comparing Left-Associative Grammar with PSG

  11. Hoang C. Truth & Proof in Arithmetic

  12. Korovin K., Voronkov A. Random Structures and Thresholds for Existential Fragment of First-Order Logic

  13. LEPAGE F. The functional completeness of Leśniewski’s systems

  14. Lisitsa A., Potapov I. On Temporal Logic between Propositional and First-Order

  15. Noureddine S. A Simple Reduction Calculus for Propositional Formulas

  16. Nurakunov A.M. On lattices of Equational Theories

  17. Reimann Jan, Stephan Frank On Hierarchies of Randomness Tests

  18. Stecher J.D. An Application of Formal Topology to the Choice of Standards for a Reporting Language

  19. Sulis W.H. Archetypal Dynamics, Tapestries, and Logic

  20. Vassiliev E.V. Some applications of elementary pairs of models

  21. Wolff K.E. Conceptual Semantic Systems - Theory and Applications

  22. Wu G. Intervals containing exactly one c.e. degree

  23. Алаев П.Е. Computable Boolean algebras

  24. Ашаев И.В. Теорема о графике для вычислимости в алгебраических системах

  25. Бабёнышев С.В. Ещё одна характеризация теоремы дедукции

  26. Бадаев С.А., Таласбаева Ж.Т. Вычислимость в иерархии Ершова

  27. Байжанов Б.С. Обогащения моделей стабильных теорий и свойство слабой приемлимости.

  28. Беклемишев Л.Д. On limit existence principles in formal arithmetic.

  29. Белякин Н.В. Об одной $omega$-противоречивой формализации теории множеств.

  30. Варди М. Buechi Complementation: A Forty-Year Saga

  31. Вербовский В.В. Об элиминации воображаемых элеменетов для генерических структур

  32. Винокуров Н.С. Однородные автоматные структуры

  33. Витяев Е.Е. Синтез логики и вероятности в понятии предсказания

  34. Воронков А.А. The theory and practice of automated reasoning in first-order.

  35. Гаврюшкин А.Н. Сложность эренфойхтовых моделей

  36. Гао C. Unitary group actions and classification problems

  37. Глушкова В.Н. Вычислимые Sigma -спецификации иерархизированных миров Крипке

  38. Давыдов А.В. Развитие и применения исчисления позитивно-образованных формул

  39. Деменков П.С., Харламов Е.Ю. Дискретное моделирование мутаций, сохраняющих структуру белков.

  40. Добрица В.П. Работа нейронных сетей с точки зрения нечетких векторов.
[1][41][81]


Ваши комментарии
Обратная связь
[SBRAS]

[Головная страница]
[Конференции]

© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск
    Дата последней модификации: 06-Jul-2012 (11:44:52)