sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000117107304 | 1 hits
Person
ISNI: 
0000 0001 1710 7304
Name: 
Balbiani, Philippe
Balbiani, Philippe (Auteur.)
Dates: 
19..-...
Creation class: 
Computer file
Language material
Creation role: 
author
redactor
Related names: 
Cheikh, Fahima (1980-....))
Chevalier, Yannick (1974-....))
Ditmarsch, Hans van
El Houri, Marwa (1980-....))
Fariñas del Cerro, Luis
Kourjieh, Mounira (1981-....))
Seban, Pablo (1982-....))
Université Paul Sabatier (Toulouse) Organisme de soutenance
Wolter, Frank
Yaacoub, Antoun (1984-....))
Zakharyaschev, Michael
Titles: 
Advances in modal logic, c2003:
Applied modal logic essays in honour of Dimitrer Vakarelov
CARACTERISATION MODALE DE LA SEMANTIQUE DES PROGRAMMES LOGIQUES AVEC NEGATION, UNE
Composition of services : algorithms and complexity.
Déduction automatique en calcul des durées basée sur la méthode des tableaux [Thèse]
Eléments de géométrie mécanique
Information flow in logic programming.
Logical analysis and verification of cryptographic protocols.
modèle formel pour exprimer des politiques dynamiques pour contrôle d'accès et négociation dans un environnement distribué, Un
Qui peut dire quoi ? : réflexions sur l'objectivité, la capacité de groupes et la permision en logique épistémique dynamique.
Spatial logics
Who may say what? thoughts about objectivity, group ability and permission in dynamic epistemic logic
Notes: 
Thèse de Doctorat : Sciences et techniques communes : Toulouse 3 : 1991
Sources: 
VIAF LC NUKAT SUDOC
NTA