Grimm, R.R.GrimmOchsenschläger, P.P.Ochsenschläger2022-03-092022-03-091999https://publica.fraunhofer.de/handle/publica/33455910.1007/978-3-322-84901-4_1Dieser Artikel erarbeitet eine formale Bestimmung der Begriffe ""elektronischer Vertrag"", seine ""Ziele"", ""Verpflichtungen"" und seine ""verbindliche Phase"". Es wird in einem Theorem der ""Sog ins Ziel"" durch einen geeignet gestalteten elektronischen Vertrag bewiesen. Die Begriffe beruhen auf der Theorie der formalen Sprachen bzw. der Automaten. Sie werden an einem einfachen Beispiel einer bilateralen Auftragskooperation demonstriert.deformal modelE-Commerce004005conference paper