Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("HALPERN JY")

Results 1 to 7 of 7

  • Page / 1
Export

Selection :

  • and

AXIOMATIC DEFINITIONS OF PROGRAMMING LANGUAGES. A THEORETICAL ASSESSMENTMEYER AR; HALPERN JY.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 203-212; BIBL. 17 REF.Conference Paper

AXIOMATIC DEFINITIONS OF PROGRAMMING LANGUAGES: A THEORETICAL ASSESSMENTMEYER AR; HALPERN JY.1982; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1982; VOL. 29; NO 2; PP. 555-576; BIBL. 30 REF.Article

THE PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAMSHALPERN JY; REIF JH.1981; ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE. 22/1981/NASHVILLE TN; USA; NEW YORK: INSTITUTE OF ELECTRICAL & ELECTRONICS ENGINEERS; DA. 1981; PP. 322-334; BIBL. 19 REF.Conference Paper

ON EFFECTIVE AXIOMATIZATIONS OF HOARE LOGICSCLARKE EM JR; GERMAN SM; HALPERN JY et al.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. 309-321; BIBL. 12 REF.Conference Paper

ON THE POWER OF NONDETERMINISM IN DYNAMIC LOGICBERMAN P; HALPERN JY; TIURYN J et al.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 48-60; BIBL. 7 REF.Conference Paper

FINITE MODELS FOR DETERMINISTIC PROPOSITIONAL DYNAMIC LOGICBEN ARI M; HALPERN JY; PNUELI A et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 249-263; BIBL. 10 REF.Conference Paper

DETERMINISTIC PROPOSITIONAL DYNAMIC LOGIC: FINITE MODELS, COMPLEXITY, AND COMPLETENESSMORDECHAI BAE BEN ARI; HALPERN JY; PNUELLI A et al.1982; JOURNAL OF COMPUTER AND SYSTEM SCIENCES; ISSN 0022-0000; USA; DA. 1982; VOL. 25; NO 3; PP. 402-417; BIBL. 10 REF.Article

  • Page / 1