science  (27.547 Angebote unter 28.483.109 Artikeln)

The concept of semantic roles has been central to linguistic theory for many decades. More specifically, the assumption of such representations as mediators in the correspondence between a linguist...

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on ill...

Invited Talks.- Games, Theory and Applications.- Database Research Issues in a WWW and GRIDs World.- Integration, Diffusion, and Merging in Information Management Discipline.- Flexibility through M...

8th Joint International Conference, JIST 2018, Awaji, Japan, November 26-28, 2018, Proceedings

An Emerging Field and its Methods

Invited Talks.- Forcing Monotonicity in Parameterized Verification: From Multisets to Words.- Research Issues in the Automated Testing of Ajax Applications.- Essential Performance Drivers in Native...

Semantics and Truth

Frontmatter -- INTRODUCTION -- Première partie. La campagne proche de Grenoble au point de vue social et démographique en 1847 -- Introduction à la première partie -- Chapitre I. La structure socia...

This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in ?pindler?v Mlýn, Czech Republic, in January ...

Invited Talks.- Databases and the Grid: JDBC in WSDL, or Something Altogether Different?.- Emergent Semantics Systems.- Integration.- User-Specific Semantic Integration of Heterogeneous Data: The S...

The total of 36 full papers and 5 short papers was carefully reviewed and selected from numerous submissions. The papers were organized in topical sections named: health, well-being and accessibili...

This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sn??kou, Czech Republic, during January 24-29...

is the only book which provides a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleaving approach of the process algebraists). Many results found in...

This book constitutes the refereed proceedings of the 7th Joint International Conference on Serious Games, JCSG 2021, as virtual event, in January 2022. The 17 full papers presented together with 3...

44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings