Ergebnisse für: VMTL

Hier findest Du Bücher, die sich mit VMTL beschäftigen.

Buch Cover Rewriting Techniques and Applications

Springer Berlin
53.49 € · eBook

VMTL Variable YAPA automatic proving calculus complexity interaction nets logic normalization proof proof theory protocol security term rewriting term-graph transformation termination proving

...

Rewriting Techniques and Applications

Springer Berlin
53.49 € · Paperback

VMTL Variable YAPA automatic proving calculus complexity interaction nets logic normalization proof proof theory protocol security term rewriting term-graph transformation termination proving

...

Array
(
    [endpoint] => /products?search=VMTL&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.001299
    [connect_time] => 0.517958
    [responseLength] => 3799
)