Вы здесь

Главная

формальная семантика

Связанные издания:

AI*IA 2013: Advances in Artificial Intelligence: Proc./XIIIth International Conference of the Italian Association for AI, Turin, Italy, December 2013
A Predicative Semantic Model for Integrating UML Models
A Survey of Object-Oriented Petri Nets and Analysis Methods
Computational Logic in Multi-Agent Systems: Proc./13th International Workshop, CLIMA XIII, Montpellier, France, August 2012
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Declarative Agent Languages and Technologies VIII: Revised, Selected and Invited Papers/8th International Workshop, DALT 2010, Toronto, Canada, May 2010
Formal Grammar: Proc./24th International Conference, FG 2019, Riga, Latvia, August 2019
Functional and Constraint Logic Programming: Revised Selected Papers/19th International Workshop, WFLP 2010, Madrid, Spain, January 2010
Intelligent Computer Mathematics: Proc./11th International Conference, CICM 2018, Hagenberg, Austria, August 2018
Knowledge Science, Engineering and Management: Proc./9th International Conference, KSEM 2016, Passau, Germany, October 2016
Logical Aspects of Computational Linguistic: Proc./6th International Conference, LACL 2011, Montpellier, France, June/July 2011
Machine Learning in Medical Imaging: Proc./9th International Workshop, MLMI 2018 Held in Conjunction with MICCAI 2018, Granada, Spain, September 2018
Make Formal Semantics Easy
Make formal semantics easy and useful
Monotonicity in Logic and Language: Proc./2nd Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM, 2020, Beijing, China, December 2020
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 2011
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2014 Workshops, LENLS, JURISIN, and Gaba, Kanagawa, Japan, October 2014
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 2015
Programming Languages and Systems: Proc./8th Asian Symposium, APLAS 2010, Shanghai, China, November/December 2010
Reversible Computation: Proc./13th International Conference, RC 2021, Virtual Event, July 2021
Rewriting Logic and Its Applications: Revised Selected Papers/10th International Workshop, WRLA 2014 Held as Satellite Event of ETAPS, Grenoble, France, April 2014
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/4th International Workshop, SOFL+MSVL 2014, Luxembourg, November 2014
Theory and Practice of Model Transformations: Proc./Third International Conference, ICMT 2010, Malaga, Spain, June 2010
Using Esoteric Language for Teaching Formal Semantics
Web Services and Formal Methods: Revised Selected Papers/7th International Workshop, WS-FM 2010, Hoboken,NJ,USA, September 2010
Классификация программ, ориентированная на технологию программирования
Метод обработки дискретной информации на базе одного способа формального задания семантики языков
Формальные модели программ и языков программирования. Часть 2. Современное состояние исследований