Pascal and Francis Bibliographic Databases

Help

Export

Selection :

Permanent link
http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=PASCAL83X0203232

THE POWER OF THE CHURCH-ROSSER PROPERTY FOR STRING REWRITING SYSTEMS

Author
BOOK RV
UNIV. CALIFORNIA-SANTA BARBARA, DEP. MATH./SANTA BARBARA CA 93106/USA
Source
LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 138; PP. 360-368; BIBL. 20 REF.
Document type
Conference Paper
Language
English
Keyword (fr)
REECRITURE DEMONSTRATION AUTOMATIQUE THEORIE LANGAGE PROPRIETE CHURCH-ROSSER INFORMATIQUE MATHEMATIQUES APPLIQUEES
Keyword (en)
REWRITING AUTOMATIC PROVING LANGUAGE THEORY COMPUTER SCIENCES APPLIED MATHEMATICS
Keyword (es)
INFORMATICA MATEMATICAS APPLICADAS
Classification
Pascal
001 Exact sciences and technology / 001A Sciences and techniques of general use / 001A02 Mathematics

Discipline
Mathematics
Origin
Inist-CNRS
Database
PASCAL
INIST identifier
PASCAL83X0203232

Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS

Searching the Web