Полное описание
> Rutten, J. J.M.M. On the foundations of final semantics:non-standard sets,metric spaces, partial orders / J.J.M.M.Rutten,D.Turi. - Amsterdam : [s. n.], 1992. - 53 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9241). - Текст : непосредственный. Библиогр.:с. 51-53
ГРНТИ УДК 27.03 510.3 27.19.15 515.124
Рубрики: Множеств теория
Метрические пространства
Доп. точки доступа: Turi, D.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9241)>
Шифр в сводном ЭК: a054da57891fe94feb03c49cafc9b507
Rutten J.J.M.M. Hereditarity-finite sets and complete metric spaces / J. J.M.M. Rutten, 1991. - 17 p. - Текст : непосредственный. Rutten J.J.M.M. Processes as terms: Non-wellfounded models for bisimulation / J. J.M.M. Rutten, 1992. - 19 p. - Текст : непосредственный. Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный. Rutten J.J.M.M. Nonwellfounded sets and programming language semantics / J. J.M.M. Rutten, 1990. - 17 p. - Текст : непосредственный. Rutten J.J.M.M. Initial algebra and final coalgebra semantics for concurrency / J. J.M.M. Rutten, D. Turi, 1994. - 57 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Turi D. Logic programs with negation : Classes, models, interpreters / D.Turi, 1989. - 34 p. - Текст : непосредственный. Turi D. Extending S-interpretations to logic programs with negation / D.Turi, 1989. - 14 p. - Текст : непосредственный. Rutten J.J.M.M. A calculus of transition systems(towards universal coalgebra) / J.J.M.M.Rutten, 1995. - 25 p. - Текст : непосредственный. Rutten J.J.M.M. Behavioural differential equations:a coinductive calculus of streams, automata, and power series / J.J.M.M.Rutten, 2000. - 46 p. - Текст : непосредственный. failure of failures in a paradigm for asynchronous communication / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.M.Rutten, 1991. - 19 p. - Текст : непосредственный. Bonsangue M.M. Generalized ultrametric spaces:completion,topology,and powerdomains via the Yoneda embedding / M.M.Bonsangue,F.van Breugel,J.J.M.M.Rutten, 1995. - 43 p. - Текст : непосредственный. America P.H.M. parallel objects-oriented language : Design and semantic foundations / P.H.M.America,J.J.M.M.Rutten, 1989. - 44 p. - Текст : непосредственный. Rutten J.J.M.M. Weighted colimits and firmal balls in generalized metric spaces / J.J.M.M.Rutten, 1997. - 23 p. - Текст : непосредственный. Rutten J.J.M.M. Explicit canonical representatives for weak bisimulation equivalence and congruence / J.J.M.M.Rutten, 1990. - 20 p. - Текст : непосредственный. Bonsangue M.M. Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding / M.M.Bonsangue,F.van Breugel,J.J.M.M.Rutten, 1996. - 43 p. - Текст : непосредственный. Rutten J.J.M.M. Universal coalgebra: a theory of systems / J.J.M.M.Rutten, 1996. - 55 p. - Текст : непосредственный. Report: Software engineering / Centrum voor wiskunde en informatica(Amsterdam). SEN-R0224 : Coinductive counting with weighted automata / J.J.M.M.Rutten, 2002. - 30 p. - Текст : непосредственный. Показать все результаты Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный. Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный. Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный. Mullender S.J. Amoeba-high-performance distributed computing / S. J. Mullender, G. van Rossum, 1989. - 13 p. - Текст : непосредственный. Herman I. On the projective invariant represintation of conics in computer graphics / I. Herman, 1989. - 18 p. - Текст : непосредственный. Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный. Kuijk A.A.M. Temporal issues of animate response / A. A.M. Kuijk, 1989. - 11 p. - Текст : непосредственный. Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Amoeba - a distributed operating system for the 1990s / S. J. Mullender, G. van Rossum, A. S. Tanenbaum, 1990. - 12 p. - Текст : непосредственный. Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный. Hubl J. Modeling clip: some more results / J. Hubl, I. Herman, 1990. - 9 p. - Текст : непосредственный. Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный. Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный. Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Семенов П.В. Непрерывные селекции паравыпуклозначных отображений : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / П. В. Семенов, 1998. - 24 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный. International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный. Проблемы онто-гносеологического обоснования математики и естественных наук : сборник / Ред. Е. И. Арепьев, 2008. - 203 с. - Текст : непосредственный. Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный. Осипов А.В. Пространства непрерывных отображений в множественно-открытых топологиях : специальность 01.01.04 "Геометрия и топология" : диссертация на соискание ученой степени д-ра физ.-мат. наук / А. В. Осипов, 2012. - 31 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Показать все результаты Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Козловский А.В. Дискретная математика: Основные теоретико-множественные конструкции : Учеб. пособие. Ч. 7 / ред. Н. В. Крапухина, 2010. - 127 с. - Текст : непосредственный. Transactions on rough sets V / SpringerLink (Online service), 2006 r=on-line Множества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный. Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В. Е. Шестопал, 1997. - 19 с. - Текст : непосредственный. Seria monografie / Politech. Czestochowska. nr 149 : Scheduling with applying rough sets theory / H. Piech, 2008. - 170 p. - Текст : непосредственный. Хаусдорф Ф. Теория множеств : монография / Ф. Хаусдорф, 2004. - 302 с. - Текст : непосредственный. Чистяков Б.Н. Некоторые вопросы математического анализа (метрические пространства, ряды Фурье, дифференциальные уравнения) / Б. Н. Чистяков, 2004. - 123 с. - Текст : непосредственный. Лексаченко В.А. Дискретная математика. Математическая логика и теория множества / В. А. Лексаченко, 1998. - 49 с. - Текст : непосредственный. Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный. Rutten J.J.M.M. Hereditarity-finite sets and complete metric spaces / J. J.M.M. Rutten, 1991. - 17 p. - Текст : непосредственный. Шевченко В.В. О счетных семействах конечных множеств / В. В. Шевченко, 2008. - 57 с. - Текст : непосредственный. Волченская Т.В. Компьютерная математика : Учеб. пособие. Ч. 1 : Теория множеств и комбинаторика, 2003. - 88 с. - Текст : непосредственный. Трофимов В.Г. Дискретная математика : Учеб. пособие. Ч. 1 : Теория множеств. Математическая логика, 2000. - 111 с. - Текст : непосредственный. Верещагин Н.К. Начала теории множеств / Н. К. Верещагин, А. Шень, 1999. - 127 с. - Текст : непосредственный. Sipser M. Expander graphs. Descriptive set theory / M. Sipser, B. Kapron, T. Pitassi, 1991. - 19 p. - Текст : непосредственный. Буфеев С.В. Основы математической логики и теории множеств : выставочные материалы / С. В. Буфеев, И. С. Буфеев, 2014. - 138 с. - Текст : непосредственный. Дурнев В.Г. Элементы теории множеств и математической логики : учебное пособие / В. Г. Дурнев, 2009. - 411 с. - Текст : непосредственный. Прокопчук Ю.Ю. Дискретная математика. Основные теоретико-множественные конструкции : Учеб. пособие для студентов специальностей 220200 и 351400. Ч. 3, 2005. - 76 с. - Текст : непосредственный. Transactions on rough sets III / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Показать все результаты Заказать
Заказ фрагмента документа ₽