Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Publications
Editorial
Home
Publications
Editorial
Editorial
Authors:
NM
Narciso Martí-Oliet
Narciso Martí-Oliet
GR
Grigore Roşu
Grigore Roşu
CT
Carolyn Talcott
Carolyn Talcott
Article Alert
Citation Alert
Add to Library
Cite
Download
Share
Download
Download PDF
Download
Publisher website
Google Scholar
17 February 2007
journal article
research article
Published by
Springer Nature
in
Higher-Order and Symbolic Computation
Vol. 20
(1-2)
,
1-2
DOI:
10.1007/s10990-007-9005-1
Abstract
No abstract available
Keywords
DEPENDENT TYPE
CRYPTOGRAPHIC PROTOCOL
CONSTRAINT DOMAIN
DECLARATIVE SEMANTIC
MATCHING CONSTRAINT
Scroll to top