Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("WEESE M")

Results 1 to 9 of 9

  • Page / 1

Export

Selection :

  • and

GENERALIZED EHRENFEUCHT GAMESWEESE M.1980; FUNDAM MATH.; ISSN 0016-2736; POL; DA. 1980; VOL. 109; NO 2; PP. 103-112; BIBL. 31 REF.Article

DEFINIERBARE PRAEDIKATE IN BOOLESCHEN ALGEBREN. I. = PREDICATS DEFINISSABLES EN ALGEBRE DE BOOLE. IWEESE M.1977; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1977; VOL. 23; NO 6; PP. 511-526; BIBL. 14 REF.Article

THE DECIDABILITY OF THE THEORY OF BOOLEAN ALGEBRAS WITH THE QUANTIFIER "THERE EXIST INFINITELY MANY".WEESE M.1977; PROC. AMER. MATH. SOC.; U.S.A.; DA. 1977; VOL. 64; NO 1; PP. 135-138; BIBL. 6 REF.Article

DECIDABILITY WITH RESPECT TO HAERTIG QUANTIFIER AND RESCHER QUANTIFIERWEESE M.1981; Z. MATH. LOGIK GRUNDL. MATH.; ISSN 0044-3050; DDR; DA. 1981; VOL. 27; NO 6; PP. 569-576; BIBL. 2 REF.Article

THE DECIDABILITY OF THE THEORY OF BOOLEAN ALGEBRAS WITH CARDINALITY QUANTIFIERS.WEESE M.1977; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1977; VOL. 25; NO 2; PP. 93-97; ABS. RUSSE; BIBL. 5 REF.Article

THE UNDECIDABILITY OF WELL-ORDERING WITH THE HAERTIG QUANTIFIER.WEESE M.1977; BULL. ACAD. POLON., SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1977; VOL. 25; NO 2; PP. 89-91; ABS. RUSSE; BIBL. 5 REF.Article

ENTSCHEIDBARKEIT IN SPEZIELLEN UNIFORMEN STRUKTUREN BEZUEGLICH SPRACHEN MIT MAECHTIGKEITSQUANTOREN. = DECIDABILITE DANS DES STRUCTURES UNIFORMES SPECIALES RELATIVES A DES LANGAGES AVEC QUANTIFICATEURS DE PUISSANCEWEESE M.1976; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1976; VOL. 22; NO 3; PP. 215-230; BIBL. 16 REF.Article

ANATOMIE DES GEHIRNS IM COMPUTERTOMOGRAMM. = ANATOMIE DE L'ENCEPHALE A LA TOMOGRAPHIE PAR ORDINATEURLANGE S; GRUMME T; WEESE M et al.1976; FORTSCHR. GEB. ROENTGENSTRAHL. NUKLEARMED.; DTSCH.; DA. 1976; VOL. 125; NO 5; PP. 421-427; ABS. ANGL.; BIBL. 22 REF.Article

UNDECIDABLE THEORIES IN STATIONARY LOGICSEESE D; TUSCHIK P; WEESE M et al.1982; PROC. AM. MATH. SOC.; ISSN 0002-9939; USA; DA. 1982; VOL. 84; NO 4; PP. 563-567; BIBL. 7 REF.Article

  • Page / 1