Modal logics are coalgebraic /

Mã QR

Modal logics are coalgebraic /

Đã lưu trong:

Chi tiết về thư mục
Tác giả khác:	Cirstea, Corina., Kurz, Alexander., Pattinson, Dirk., Schroder, Lutz., Venema, Yde.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Automata theory Coalgebra Compositionality Concurrency Knowledge representation Modal logic
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Modal logic
Bỡi: Blackburn, Patrick
Được phát hành: (2001)

Mathematics, Models, and Modality: Selected Philosophical Essays
Bỡi: Burgess, John P
Được phát hành: (2013)

The logic of adaptive behavior Knowledge Representation and Algorithms for Adaptive Sequential Decision Making under Uncertainty in First-Order and Relational Domains
Bỡi: Otterlo, Martijn Van
Được phát hành: (2013)

Approaching modality from the perspective of Relevance Theory /
Bỡi: Traugott, Elizabeth Closs.

A logical approach to home healthcare with intelligent sensor-network support /

Possibilities and paradox :
Bỡi: J.C. Beall
Được phát hành: (2003)

Algebra and Coalgebra in Computer Science
Bỡi: Mossakowski, Till, et al.
Được phát hành: (2020)

Algebra and Coalgebra in Computer Science
Bỡi: Fiadeiro, José Luis, et al.
Được phát hành: (2020)

Nhập môn tin học lý thuyết tính toán và các Ôtômat =
Bỡi: Salomaa, Arto
Được phát hành: (1992)

Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /
Được phát hành: (2002)

Concepts, ontologies, and knowledge representation
Bỡi: Jakus, Grega

Coalgebraic Methods in Computer Science
Bỡi: Cîrstea, Corina
Được phát hành: (2020)

Ontologies in medicine
Bỡi: Pisanelli, Domenico M
Được phát hành: (2013)

Fuzzy Automata and Languages: Theory and Applications
Bỡi: Mordeson, John, et al.
Được phát hành: (2012)

Natural language processing and knowledge representation : language for knowledge and knowledge for language /
Được phát hành: (2000)

A formal model of ontology for handling fuzzy membership and typicality of instances /
Bỡi: Yeung, Ching-man Au.

Modal testing and model updating of a real scale nuclear fuel rod /

Problem solving in automata, languages, and complexity
Bỡi: Ding-zhu Du
Được phát hành: (2001)

An Introduction to Formal Languages and Automata (Photo) /
Bỡi: Linz Peter
Được phát hành: (1990)

Cellular Automata and Discrete Complex Systems
Bỡi: Kari, Jarkko
Được phát hành: (2015)

Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
Bỡi: Isokawa, T, et al.
Được phát hành: (2015)

Automata and Computability
Bỡi: Kozen, Dexter C
Được phát hành: (1997)

Events, causality and symmetry /
Bỡi: Winskel, Glynn.

Lie Coalgebras /
Bỡi: Michaelis, Walter James
Được phát hành: (1974)

Artificial intelligence :
Bỡi: Luger, George F.
Được phát hành: (2001)

Fifty Years of Fuzzy Logic and its Applications
Bỡi: Tamir, Dan E, et al.
Được phát hành: (2015)

Mood and moodality
Bỡi: F P Palmer
Được phát hành: (2001)

Advances in modal logic
Được phát hành: (2009)

A computational theory of selection by consequences applied to concurrent schedules /

Nhập môn lý thuyết tập hợp và logic
Bỡi: Phan Hữu Chân
Được phát hành: (1977)

Group theory in subnuclear physics /
Bỡi: Stancu, Fl.
Được phát hành: (1996)

Logic học :
Bỡi: Lê, Ngọc Triết
Được phát hành: (2013)

Hegel's logic :
Bỡi: Hegel, Georg Wilhelm Friedrich
Được phát hành: (1975)

The functional-pragmatic field of possibility in Russian : Meaning and structure /
Bỡi: Belyaeva-Standen, Yelena.

From network problem to cycle processes /
Bỡi: Kalpazidou, Sophia L.

The power of logic
Bỡi: Layman, C. Stephen
Được phát hành: (2005)

Dynamic neighbourhood cellular automata /
Bỡi: Dantchev, Stefan.

Mathematical modeling of biofilm structure with a hybrid differential-discrete cellular automaton approach /
Bỡi: Picioreanu, Cristian.

Computer Science Logic
Được phát hành: (2020)

Well-behaved unbounded operator representations and unbounded C*-seminorms /
Bỡi: Inoue, Atsushi.