See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Type-theoretical semantics of some declarative languages

Mints, G.; Smith, J.; Tyugu, E. (1991). Type-theoretical semantics of some declarative languages. Baltic Computer Science : Selected papers. Ed. Barzdinš,J.; Bjørner,D. Berlin: Springer, 18−32. (Lecture Notes in Computer Science; 502).10.1007/BFb0019354.
publitseeritud konverentsiettekanne
Mints, G.; Smith, J.; Tyugu, E.
  • Inglise
Baltic Computer Science : Selected papers
Barzdinš,J.; Bjørner,D.
Berlin
Springer
0302-9743
3-540-54131-4
Lecture Notes in Computer Science
502
1991
1832
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile

dx.doi.org/10.1007/BFb0019354

Lisainfo

ISI Web of Science (ISI:A1991GF41700004); ISI CompuMath Citation Index; ISI SCI Expanded; MathSciNe