This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of ...
Continue readingThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Continue readingThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Continue readingThis book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Continue readingThis book provides an in-depth view of the current issues, problems and approaches in the computation of meaning as expressed ...
Continue readingExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Continue readingExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Continue readingThis book presents novel theoretical, empirical and experimental work exploring the nature of mental representations that ...
Continue readingThis book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
Continue readingThis book shows that a conceptual design approach for spatio-temporal databases is both feasible and easy to apprehend. While ...
Continue readingth The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, ...
Continue readingConceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
Continue readingConceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
Continue readingConcurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Continue readingThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Continue readingThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Continue readingThis volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
Continue readingThis book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Workshop on Cooperative Information Agents, CIA ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
Continue reading