On the axiomatization of "if-then-else"

Author(s)

• Guessarian, Irène
• Meseguer, José

Bibliographic Information

On the axiomatization of "if-then-else"

by Irène Guessarian and José Meseguer

（Report (Center for the Study of Language and Information (U.S.)), Report No. CSLI-18-20）

Center for the Study of Language and Information, c1985

Note

"October 1985"

Includes bibliographivcal references

Details

• NCID: BA24807842
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, CA
• Pages/Volumes: 38 p.
• Subject Headings:
  • LCSH : Artificial intelligence
  • LCSH : Linguistic analysis (Linguistics)
  • LCSH : Systemic grammar
  • LCSH : If-then-else (Computer statement)
• Parent Bibliography ID:
  • BA10949995