Compositional Analysis for Clausal Exceptives

Semantics and Linguistic Theory
doi 10.3765/salt.v29i0.4627
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Linguistic Society of America

Related search

Rewrite Methods for Clausal and Non-Clausal Theorem Proving

English

Compositional and Local Livelock Analysis for CSP

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2018English

Abstraction Techniques for Compositional State-Based Scheduling Analysis

2012English

Compositional Analysis of Authentication Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Applying GSATto Non-Clausal Formulas

Journal of Artificial Intelligence Research
Artificial Intelligence
1994English

Propositional Clausal Defeasible Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A Clausal Resolution Method for Branching-Time Logic ECTL+

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2006English

A Satisfiability Tester for Non-Clausal Propositional Calculus

English

Generating Clausal Coordinate Ellipsis Multilingually

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy