Concepedia

J. G. Wiltink

JG

Statistics

Publications

1

Citations

16

H-Index

1

Active since

1989

Affiliations

Lange Land Ziekenhuis(Current)

J. G. Wiltink is an author at Lange Land Ziekenhuis specializing in semantic web, computer science, and formal verification.

Top concepts

Publications per year

1989–1989

1

Publications

1

A sharp proof rule for procedures in wp semantics

A. Bijlsma, Philip Matthews, J. G. Wiltink · Acta Informatica · 1989 · 16 citations

, , +9

Rows per page

1–1 of 1