( en | de | ru )

 

Disambiguierung von "Mason, Ian A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Semantics of Propositional Contexts.

, , und . ISMIS, Volume 869 von Lecture Notes in Computer Science, Seite 468-477. Springer, (1994)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Eudo Colecestra Mason

Robert Mason

Alex Mason

David Mason

Julian Mason

 

Weitere Publikationen von Autoren mit dem selben Namen

Metamathematics of Contexts., , und . Fundam. Informaticae, 23 (2/3/4): 263-301 (1995)A Semantically Sound Actor Tranlsation., und . ICALP, Volume 1256 von Lecture Notes in Computer Science, Seite 369-378. Springer, (1997)Detection and diagnosis of deviations in distributed systems of autonomous agents., , , und . Math. Struct. Comput. Sci., 32 (9): 1254-1282 (Oktober 2022)Reasoning About Object Systems in VTLoE., und . Int. J. Found. Comput. Sci., 6 (3): 265-298 (1995)Equivalence in Functional Languages with Effects., und . J. Funct. Program., 1 (3): 287-327 (1991)The Metatheory of the Classical Propositional Calculus is not Axiomatizable.. J. Symb. Log., 50 (2): 451-457 (1985)A Variable Typed Logic of Effects, , , und . Inf. Comput., 119 (1): 55-90 (Mai 1995)Verification of an Optimized NTT Algorithm., , und . VSTTE, Volume 12549 von Lecture Notes in Computer Science, Seite 144-160. Springer, (2020)Program Transformations for Configuring Components., und . PEPM, Seite 297-308. ACM, (1991)Programming, Transforming, and Providing with Function Abstractions and Memories., und . ICALP, Volume 372 von Lecture Notes in Computer Science, Seite 574-588. Springer, (1989)