NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • 1
  • Tagged with
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 2 of 2 (0.082 seconds)

Spelling suggestions: "subject:"axiomatise absprachen"" "subject:"axiomatise ansprachen""

1

Die Kategorie der gleichungs-partiellen Theorien als semantischer Bereich

Reichel, Horst 03 December 2012 (has links) (PDF)
No description available.
formale Sprachen
modellorientierte Sprachen
axiomatische Sprachen
Semantik
Informatik
SPECTRAL
Typentheorie
EPT
distributed systems
formal languages
ddc:004
rvk:SS 5514
2

Die Kategorie der gleichungs-partiellen Theorien als semantischer Bereich

Reichel, Horst 03 December 2012 (has links)
No description available.
distributed systems, formal languages
info:eu-repo/classification/ddc/004
ddc:004

Page generated in 0.0863 seconds