Holger Giese

7 results

  • 2019

    Metric Temporal Graph Logic over Typed Attributed Graphs

    0,00 

    Non-taxable transaction according to § 1 (1) UStG/VAT Act in combination with § 2 (3) UStG/VAT Act a. F. Providing this service, the University of Potsdam does not constitute a Betrieb gewerblicher Art/Commercial Institution according to § 1 (1) No. 6 or § 4 KStG/Corporate Tax Act. If the legal characterization of our business is changed to a commercial institution subsequently, we reserve the right to invoice VAT additionally.

    Add to cart
  • 2018

    Metric Temporal Graph Logic over Typed Attributed Graphs

    0,00 

    Non-taxable transaction according to § 1 (1) UStG/VAT Act in combination with § 2 (3) UStG/VAT Act a. F. Providing this service, the University of Potsdam does not constitute a Betrieb gewerblicher Art/Commercial Institution according to § 1 (1) No. 6 or § 4 KStG/Corporate Tax Act. If the legal characterization of our business is changed to a commercial institution subsequently, we reserve the right to invoice VAT additionally.

    Add to cart
  • 2017

    Proceedings of the 10th Ph.D. Retreat of the HPI Research School

    0,00 

    Non-taxable transaction according to § 1 (1) UStG/VAT Act in combination with § 2 (3) UStG/VAT Act a. F. Providing this service, the University of Potsdam does not constitute a Betrieb gewerblicher Art/Commercial Institution according to § 1 (1) No. 6 or § 4 KStG/Corporate Tax Act. If the legal characterization of our business is changed to a commercial institution subsequently, we reserve the right to invoice VAT additionally.

    Add to cart
  • 2017

    Probabilistic Timed Graph Transformation Systems

    0,00 

    Non-taxable transaction according to § 1 (1) UStG/VAT Act in combination with § 2 (3) UStG/VAT Act a. F. Providing this service, the University of Potsdam does not constitute a Betrieb gewerblicher Art/Commercial Institution according to § 1 (1) No. 6 or § 4 KStG/Corporate Tax Act. If the legal characterization of our business is changed to a commercial institution subsequently, we reserve the right to invoice VAT additionally.

    Add to cart
  • 2017

    Automatic verification of behavior preservation at the transformation

    0,00 

    Non-taxable transaction according to § 1 (1) UStG/VAT Act in combination with § 2 (3) UStG/VAT Act a. F. Providing this service, the University of Potsdam does not constitute a Betrieb gewerblicher Art/Commercial Institution according to § 1 (1) No. 6 or § 4 KStG/Corporate Tax Act. If the legal characterization of our business is changed to a commercial institution subsequently, we reserve the right to invoice VAT additionally.

    Add to cart
  • 2017

    Proceedings of the 9th Ph.D. retreat of the HPI Research School

    0,00 

    Non-taxable transaction according to § 1 (1) UStG/VAT Act in combination with § 2 (3) UStG/VAT Act a. F. Providing this service, the University of Potsdam does not constitute a Betrieb gewerblicher Art/Commercial Institution according to § 1 (1) No. 6 or § 4 KStG/Corporate Tax Act. If the legal characterization of our business is changed to a commercial institution subsequently, we reserve the right to invoice VAT additionally.

    Add to cart
  • 2017

    On the operationalization of graph queries with generalized

    0,00 

    Non-taxable transaction according to § 1 (1) UStG/VAT Act in combination with § 2 (3) UStG/VAT Act a. F. Providing this service, the University of Potsdam does not constitute a Betrieb gewerblicher Art/Commercial Institution according to § 1 (1) No. 6 or § 4 KStG/Corporate Tax Act. If the legal characterization of our business is changed to a commercial institution subsequently, we reserve the right to invoice VAT additionally.

    Add to cart