EconBiz - Find Economic Literature
    • Logout
    • Change account settings
  • A-Z
  • Beta
  • About EconBiz
  • News
  • Thesaurus (STW)
  • Academic Skills
  • Help
  •  My account 
    • Logout
    • Change account settings
  • Login
EconBiz - Find Economic Literature
Publications Events
Search options
Advanced Search history
My EconBiz
Favorites Loans Reservations Fines
    You are here:
  • Home
  • Search: subject:"Formal Semantics"
Narrow search

Narrow search

Year of publication
Subject
All
formal semantics 2 BPMN 1 Business process management 1 Chinese language 1 DD-LOTOS 1 Data Modeling 1 Dynamic Constraints 1 ENGLISH TESTS 1 FORMAL SEMANTICS 1 Formal Semantics 1 MATHEMATICAL LOGIC 1 Modellierung 1 Object-Role Modeling 1 Ontologie 1 Ontology 1 Prozessmanagement 1 READING SKILLS 1 SEMANTICS 1 Scientific modelling 1 Semantic web 1 Semantisches Web 1 Temporal Rules 1 Workflow management system 1 Workflow-Management-System 1 business process 1 business process modelling notation 1 cognitive computing 1 cognitive informatics 1 cognitive linguistics 1 computational linguistics 1 deductive grammar 1 denotational mathematics 1 formal models 1 knowledge science 1 linguistic models 1 meta-modelling 1 model transformation 1 symbolic inference 1 true concurrency 1
more ... less ...
Online availability
All
Undetermined 3 Free 1
Type of publication
All
Article 3 Book / Working Paper 1
Type of publication (narrower categories)
All
Article in journal 1 Aufsatz in Zeitschrift 1
Language
All
English 2 Undetermined 2
Author
All
Balsters, Herman 1 Ghaoui, Sara 1 Halpin, Terry 1 Maarouk, Toufik Messaoud 1 Merah, Elkamel 1 Partee, Barbara H. 1 Rahabi, Nihed 1 Vinogradova, Olga I. 1 WANG, YINGXU 1
more ... less ...
Institution
All
National Research University Higher School of Economics 1
Published in...
All
HSE Working papers 1 International Journal of Information System Modeling and Design (IJISMD) 1 International journal of business process integration and management : IJBPIM 1 New Mathematics and Natural Computation (NMNC) 1
Source
All
RePEc 2 ECONIS (ZBW) 1 Other ZBW resources 1
Showing 1 - 4 of 4
Cover Image
Reading Passages For The Course Of Semantics: Tests For Students
Partee, Barbara H.; Vinogradova, Olga I. - National Research University Higher School of Economics - 2014
, IELTS and TOEFL, and with English academic writing. The selected reading material introduces the foundations of formal … semantics through a set of extracts from the works of classical semanticists of the 20th century, accompanied by a set of test …
Persistent link: https://www.econbiz.de/10010772555
Saved in:
Cover Image
Formal semantics and transformation of BPMN models
Maarouk, Toufik Messaoud; Merah, Elkamel; Ghaoui, Sara; … - In: International journal of business process integration … 9 (2019) 3, pp. 158-169
Persistent link: https://www.econbiz.de/10012138364
Saved in:
Cover Image
Formal Semantics of Dynamic Constraints and Derivation Rules in ORM
Halpin, Terry; Balsters, Herman - In: International Journal of Information System Modeling … 7 (2016) 2, pp. 31-47
This paper provides formal semantics for an extension of the Object-Role Modeling approach to support declaration of … such dynamic rules with a formal semantics based on sorted, first-order predicate logic. The key idea underlying their …
Persistent link: https://www.econbiz.de/10012045625
Saved in:
Cover Image
COGNITIVE LINGUISTIC PERSPECTIVES ON THE CHINESE LANGUAGE
WANG, YINGXU - In: New Mathematics and Natural Computation (NMNC) 09 (2013) 02, pp. 237-260
Chinese is one of the oldest and most widely used languages with an ideographic writing system. It is curious to analyze the advantages and disadvantages of Chinese in cognitive linguistics, cognitive informatics, and knowledge science. This paper presents a comparative study on the fundamental...
Persistent link: https://www.econbiz.de/10011011305
Saved in:
A service of the
zbw
FAQ-Assistent (beta)
  • Sitemap
  • Plain language
  • Accessibility
  • Contact us
  • Imprint
  • Privacy

Loading...