Abstract | ||
---|---|---|
Without Abstract |
Year | DOI | Venue |
---|---|---|
1991 | 10.1007/BFb0019354 | Baltic computer science |
Keywords | Field | DocType |
declarative languages,type-theoretical semantics | Fifth-generation programming language,Operational semantics,Programming language,Computer science,Action semantics,Denotational semantics,Declarative programming,Propositional variable,Semantics,Ontology language | Conference |
Volume | ISSN | ISBN |
502 | 0302-9743 | 3-540-54131-4 |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |
Jan M. Smith | 2 | 108 | 22.30 |
Enn Tyugu | 3 | 278 | 63.65 |