Modal logics are coalgebraic /

QR Kod

Modal logics are coalgebraic /

Kaydedildi:

Detaylı Bibliyografya
Diğer Yazarlar:	Cirstea, Corina., Kurz, Alexander., Pattinson, Dirk., Schroder, Lutz., Venema, Yde.
Materyal Türü:	Makale
Dil:	English
Konular:	Automata theory Coalgebra Compositionality Concurrency Knowledge representation Modal logic
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Many-Dimensional Modal Logics :
Baskı/Yayın Bilgisi: (2003)

Modal logic
Yazar:: Blackburn, Patrick
Baskı/Yayın Bilgisi: (2001)

The logic of adaptive behavior Knowledge Representation and Algorithms for Adaptive Sequential Decision Making under Uncertainty in First-Order and Relational Domains
Yazar:: Otterlo, Martijn Van
Baskı/Yayın Bilgisi: (2013)

Mathematics, Models, and Modality: Selected Philosophical Essays
Yazar:: Burgess, John P
Baskı/Yayın Bilgisi: (2013)

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

Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Yazar:: John, E . Hopcroft, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Algebra and Coalgebra in Computer Science
Yazar:: Mossakowski, Till, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Algebra and Coalgebra in Computer Science
Yazar:: Fiadeiro, José Luis, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Approaching modality from the perspective of Relevance Theory /
Yazar:: Traugott, Elizabeth Closs.

Possibilities and paradox :
Yazar:: J.C. Beall
Baskı/Yayın Bilgisi: (2003)

Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /
Baskı/Yayın Bilgisi: (2002)

Nhập môn tin học lý thuyết tính toán và các Ôtômat =
Yazar:: Salomaa, Arto
Baskı/Yayın Bilgisi: (1992)

Concepts, ontologies, and knowledge representation
Yazar:: Jakus, Grega

A study of modality expressed in terms Of grammaticalization and lxicalization in english and vietnamese
Yazar:: Nguyễn Thị Hoài Nam
Baskı/Yayın Bilgisi: (2025)

Coalgebraic Methods in Computer Science
Yazar:: Cîrstea, Corina
Baskı/Yayın Bilgisi: (2020)

Ontologies in medicine
Yazar:: Pisanelli, Domenico M
Baskı/Yayın Bilgisi: (2013)

A study of modal adjuncts in the mental process in English and Vietnamese newspapers
Yazar:: Nguyen, Phuoc Hao.
Baskı/Yayın Bilgisi: (2011)

AN INVESTIGATION INTO MODALITY EXPRESSIONS IN ENGLISH FILM SUBTITLES AND THEIR CORRESPONDING EXPRESSIONS IN THE VIETNAMESE
Yazar:: Lê Vương Song Hà
Baskı/Yayın Bilgisi: (2024)

Fuzzy Automata and Languages: Theory and Applications
Yazar:: Mordeson, John, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Natural language processing and knowledge representation : language for knowledge and knowledge for language /
Baskı/Yayın Bilgisi: (2000)

An Investigation into Modals English Business Letter /
Yazar:: Huỳnh Thị Hồng Hạnh
Baskı/Yayın Bilgisi: (2012)

A contrastive study on modal markers of weak possibility in English and Vietnamese
Yazar:: Nguyễn Thị Tuyết
Baskı/Yayın Bilgisi: (2011)

cMDTPS: Comprehensive Masked Modality Modeling with Improved Similarity Distribution Matching Loss for Text-based Person Search
Yazar:: Nguyen, Anh D, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

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

A Study of Modal Particles in English Films with Vietnamese Subtitles /
Yazar:: Trần Thị Cúc Kiều
Baskı/Yayın Bilgisi: (2009)

Problem solving in automata, languages, and complexity
Yazar:: Ding-zhu Du
Baskı/Yayın Bilgisi: (2001)

An Introduction to Formal Languages and Automata (Photo) /
Yazar:: Linz Peter
Baskı/Yayın Bilgisi: (1990)

A Corpus-Based Study On Gender- Related Differences In Deontic Modality Markers Used In Commencement Remarks By American Speakers
Yazar:: Đỗ Thị Duy An
Baskı/Yayın Bilgisi: (2024)

A Study of Modality Expressed in Terms of Grammaticalization and Lxicalization in English and VN /
Yazar:: Nguyễn Thị Hoài Nam
Baskı/Yayın Bilgisi: (2011)

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

A Contrastive Study of the Modal Devices Expressing Possibility in Modern English and Vietnamese /
Yazar:: Đinh Gia Hưng
Baskı/Yayın Bilgisi: (2001)

A Corpus-Based Study on Modality Markets Expressing Politeness Strategies in American Political Speeches
Yazar:: Võ Thị Thanh Tâm
Baskı/Yayın Bilgisi: (2024)

The Investigation into Expreeing Possibility Meanings Through English Modals: Can, could, may, might /
Yazar:: Lê Thị Thà
Baskı/Yayın Bilgisi: (2004)

Events, causality and symmetry /
Yazar:: Winskel, Glynn.

Artificial intelligence :
Yazar:: Luger, George F.
Baskı/Yayın Bilgisi: (2001)

Cellular Automata and Discrete Complex Systems
Yazar:: Kari, Jarkko
Baskı/Yayın Bilgisi: (2015)

Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
Yazar:: Isokawa, T, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Automata and Computability
Yazar:: Kozen, Dexter C
Baskı/Yayın Bilgisi: (1997)

An investigation into the translation of epistemic and deontic modality in the novel 'the gadfly' by e. l.voynich into Vietnamesee
Yazar:: Nguyễn Thị Hồng Nhung
Baskı/Yayın Bilgisi: (2024)

A contrastive analysis of modality markers in us presidential election debates by hillary clinton and Donald Trump
Yazar:: Nguyễn Thị Kiều Phước
Baskı/Yayın Bilgisi: (2024)