default search action

combined dblp search
author search
venue search
publication search

ask others

Véronique Royer

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1994
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/RoyerQ94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/RoyerQ94
Véronique Royer, Joachim Quantz:
On Intuitionistic Query Answering in Description Bases. CADE 1994: 326-340
1992
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ipmu/CayrolRS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipmu/CayrolRS92
Claudette Cayrol, Véronique Royer, Claire Saurel:
Management of Preferences in Assumption-Based Reasoning. IPMU 1992: 13-22
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/RoyerQ92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/RoyerQ92
Véronique Royer, Joachim Quantz:
Deriving Inference Rules for Terminological Logics. JELIA 1992: 84-105
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/kr/QuantzR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/QuantzR92
Joachim Quantz, Véronique Royer:
A Preference Semantics for Defaults in Terminological Logics. KR 1992: 294-305
1991
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Royer91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Royer91
Véronique Royer:
The Semantics of Incomplete Databases as an Expression of Preferences. Theor. Comput. Sci. 78(1): 113-136 (1991)
1990
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/Royer90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/Royer90
Véronique Royer:
Backward Chaining Evaluation in Stratified Disjunctive Theories. PODS 1990: 183-195

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/Royer89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/Royer89
Véronique Royer:
Modeling Preference Choices in Incomplete Deductive Databases. IFIP Congress 1989: 673-678
1986
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/Royer86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/Royer86
Véronique Royer:
Congruent Representation of Standard Denotational Semantics. IFIP Congress 1986: 655-660
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Royer86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Royer86
Véronique Royer:
Transformations of denotational semantics in semantics directed compiler generation. SIGPLAN Symposium on Compiler Construction 1986: 68-73
1985
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/Royer85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Royer85
Véronique Royer:
Deriving Stack Semantics Congruent to Standard Denotational Semantics. STACS 1985: 299-309

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.