MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Structural Contradictions." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 54 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Structural Contradictions  
  • by Cindy Eisner, Dana Fisman
  • Structural Contradictions Cindy Eisner 1 and Dana Fisman 1,2 1 IBM Haifa Research Laboratory 2…
  • Add To MetaCart
  • Truncating Regular Expressions  
  • by Cindy Eisner, Cindy Eisner (contact, Dana Fisman, John Havlicek
  • contradiction, structural contradiction March 31, 2004 Abstract. In previous work [6] we have shown…
  • Cited by 2 (1 self)Add To MetaCart
  • On the Structure of Paraconsistent Extensions of  
  • by Johansson's Logic Extended, Visiting Alex, Er Von Humboldt-scholar
  • …('). This statement shows that the counterpart Lneg explicate the nontrivial structure of contradictions
  • Add To MetaCart
  • An Operational Semantics for Weak PSL  
  • by Koen Claessen, Johan Mårtensson — 2004 — Formal Methods in Computer-Aided Design, LNCS 3312
  • … by discouraging the use of particular ”degenerate formulas” (e.g. those containing structural contradictions
  • Cited by 2 (0 self)Add To MetaCart
  • unknown title  
  • by unknown authors
  • … fixed ordinalbetween these various lifted-up structures. This contradicts our assumption on increasing…
  • Add To MetaCart
  • School of Business Papers  
  • by A Paradigmatic, Guo Zining, Jim Sheffield, Zining Guo, James Sheffield
  • …, and guides their concern about structured contradictions and/or exploitation. [18] The main task of inquiry…
  • Add To MetaCart
  • An Operational Semantics for Weak PSL  
  • by Koen Claessen And, Koen Claessen — 2004 — Formal Methods in Computer-Aided Design, LNCS 3312
  • … and {a&&{a; a}} (a socalled structural contradiction) are equivalent in an intuitive sense (they cannot…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB