Институт математики
и фундаментальной информатики СФУ

Доклад:

Поляков А.А. - "О произведениях логик: часть 2"

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Бушакова Ю.А.

Доклад:

Поляков А.А. - "О произведениях логик"

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Бушакова Ю.А.

Доклад:

Бушакова Ю.А. - "Ступенчатая временная логика с прошлым: метод скручивания";
Башмаков С.И. - "О перспективах агентных отношений"

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Бушакова Ю.А.

Доклад:

Бушакова Ю.А. - "Ступенчатая временная логика с прошлым"

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Смелых К.А. - "О развёртке моделей CTLK в At-деревья"

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Башмаков С.И. - "Перспективные задачи теории унификации и временных логик"

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Брылякова Е.В. - "Паранепротиворечивые логики и полные наборы унификаторов"

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Поляков А.А. - "Примеры J-логик с интерполяционными свойствами"

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Бушакова Ю.А.

Доклад:

Смелых К.А. - "At-деревья для ветвящейся временной логики"

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Смелых К.А. - "Аморфные автоматы деревьев"

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.