Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Barbara H Partee
Formal Semantics: Origins, Issues, Early Impact
Baltic International Yearbook of Cognition, Logic and Communication
Related publications
Some Formal Semantics for Epistemic Modesty
Logic and Logical Philosophy
Philosophy
Formal Semantics and Verification for Feature Modeling
Suffixal Predicates in Chukchi: Semantics, Typology and Origins
Tomsk Journal of Linguistics and Anthropology
Formal C Semantics: CompCert and the C Standard
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Ocarina Extension for AADL Formal Semantics Generation
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
DAIMI Report Series
A Formal Framework for Prototyping Executable Semantics in ATL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Semantics for Isorecursive and Equirecursive State Abstractions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Research on Component Composition and Replacement With Formal Semantics
Journal of Software
