Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("SEMANTIQUE FORMELLE")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1871

  • Page / 75

Export

Selection :

  • and

THE EQUIVALENCE OF TWO SEMANTIC DEFINITIONS: A CASE STUDY IN LCFCOHN A.1983; SIAM JOURNAL ON COMPUTING; ISSN 0097-5397; USA; DA. 1983; VOL. 12; NO 2; PP. 267-285; BIBL. 6 REF.Article

COMPLETENESS OF MANY-SORTED EQUATIONAL LOGICGOGUEN JA; MESEGUER J.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 1; PP. 9-17; BIBL. 2 P.Article

DESCRIPTION AND COMPOSITION OF COMMUNICATING PROCESSES. PROBLEMS OF ANALYSIS AND CORRECTNESS = DESCRIPTION ET COMPOSITION DE PROCESSUS COMMUNICANTS. PROBLEMES D'ANALYSE ET D'EXACTITUDEJORRAND PHILIPPE.1982; ; FRA; DA. 1982; IMAG-RR/290; 24 P.; 30 CM; ABS. FRE; BIBL. 1 P.;[RAPP. RECH.-LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR-290]Report

A CONTINUOUS SEMANTICS FOR UNBOUNDED NONDETERMINISMBACK RJR.1983; THEORETICAL COMPUTER SCIENCES; ISSN 0304-3975; NLD; DA. 1983; VOL. 23; NO 2; PP. 187-210; BIBL. 17 REF.Article

ON GENERALIZED ITERATIVE ALGEBRAIC THEORIESESIK Z.1982; COMPUT. LINGUIST. COMPUT. LANG.; ISSN 0324-2048; HUN; DA. 1982; VOL. 15; PP. 95-110; BIBL. 2 REF.Article

THE EVALUATION OF EXPRESSIONS IN ICONGRISWOLD RE.1982; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 4; PP. 563-584; BIBL. 17 REF.Article

A WEAKER PRECONDITION FOR LOOPSBOOM HJ.1982; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 4; PP. 668-677; BIBL. 6 REF.Article

TUTORIAL ON PROGRAMMING LANGUAGE RESEARCHROWE AL.1980; WORKSHOP ON DATA ABSTRACTION, DATABASES AND CONCEPTUAL MODELLING/1980/PINGREE PARK CO; USA; NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY; DA. 1980; PP. 36-39Conference Paper

ON ALGORITHMIC LOGIC WITH PARTIAL OPERATIONSPETERMANN U.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 213-223; BIBL. 7 REF.Conference Paper

DATA TYPE SPECIFICATION: PARAMETERIZATION AND THE POWER OF SPECIFICATION TECHNIQUESTHATCHER JW; WAGNER EG; WRIGHT JB et al.1982; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 4; PP. 711-732; BIBL. 26 REF.Article

ON THE COMPOSITION OF PROCESSESPRATT VR.1982; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 9/1982-01-25/ALBUQUERQUE NM; USA; NEW YORK: ACM; DA. 1982; PP. 213-223; BIBL. 20 REF.Conference Paper

A SYNTAX-FREE SEMANTICS FOR THE APL OPERATORSELGOT CC; PERLIS AJ; SNYDER L et al.1982; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1982; VOL. 14; NO 3; PP. 128-131; BIBL. 12 REF.Article

BREVITY AND CLARITY IN COMMAND LANGUAGESMALCOLM JA.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 10; PP. 53-59; BIBL. 11 REF.Article

PARAMETRIZED DATA TYPES DO NOT NEED HIGHLY CONSTRAINED PARAMETERSARBIB MA; MANES EG.1982; INFORMATION AND CONTROL; ISSN 0019-9958; USA; DA. 1982; VOL. 52; NO 2; PP. 139-158; BIBL. 15 REF.Article

TREE CONSTRUCTIONS OF FREE CONTINUOUS ALGEBRASADAMEK J; NELSON E; REITERMAN J et al.1982; J. COMPUT. SYST. SCI.; ISSN 0022-0000; USA; DA. 1982; VOL. 24; NO 1; PP. 114-146; BIBL. 29 REF.Article

THE IF THEN ELSE STATEMENT AND INTERVAL-VALUED FUZZY SETS OF HIGHER TYPEHISDAL E.1981; INT. J. MAN-MACH. STUD.; ISSN 0020-7373; GBR; DA. 1981; VOL. 15; NO 4; PP. 385-455; BIBL. 2 P.Article

SOME OBSERVATIONS ON COMPOSITIONAL SEMANTICSJANSSEN TMV; VAN EMDEBOAS P.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 137-149; BIBL. 25 REF.Conference Paper

AN EFFECTIVE RETRACT CALCULUSJOSKO B.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; VOL. 104; PP. 184-194; BIBL. 6 REF.Conference Paper

LE SYSTEME LUCID: UNE INTRODUCTION TRES INFORMELLE.LOECKX J.sdIN: JOURN. ET. SCHEMAS PROGRAMME SEMANTIQUE LANG. PROGRAMMATION; MOLINES EN QUEYRAS; 1976; S.L.; DA. S.D.; PP. 1-15; BIBL. 3 REF.Conference Paper

FORMAL SEMANTICS AND ABSTRACT PROPERTIES OF STRING PATTERN OPERATIONS AND EXTENDED FORMAL LANGUAGE DESCRIPTION MECHANISMSFLECK AC; LIMAYE RS.1983; SIAM JOURNAL ON COMPUTING; ISSN 0097-5397; USA; DA. 1983; VOL. 12; NO 1; PP. 166-188; BIBL. 28 REF.Article

AN ABSTRACT PROGRAMMING MODELROTHE CE.1981; COMMUN. ACM; ISSN 0001-0782; USA; DA. 1981; VOL. 24; NO 9; PP. 594-596Article

DENOTATIONAL SEMANTICS OF PARALLEL PROGRAMMING LANGUAGESBREZANY P.1983; KYBERNETIKA; ISSN 0023-5954; CSK; DA. 1983; VOL. 19; NO 3; PP. 248-262; BIBL. 8 REF.Article

FILTRATION THEOREM FOR DYNAMIC ALGEBRAS WITH TESTS AND INVERSE OPERATORSVAKARELOV D.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 314-324; BIBL. 11 REF.Conference Paper

ON AXIOMATISATION OF PROCESS LOGICVALIEV MK.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 304-313; BIBL. 18 REF.Conference Paper

COMPLETION SEMANTICS AND INTERPRETER GENERATIONHENSON MC; TURNER R.1982; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 9/1982-01-25/ALBUQUERQUE NM; USA; NEW YORK: ACM; DA. 1982; PP. 242-254; BIBL. 14 REF.Conference Paper

  • Page / 75