Concepedia
1
Publications
29
Citations
H-Index
1998
Active since
Affiliations
University of Edinburgh(Current)
JAUME AGUST Í is an author at University of Edinburgh specializing in formal methods, logic programming, and engineering.
Top concepts
SemanticsEngineeringFormal MethodsLogic ProgrammingAutomated Reasoning
Publications per year
1998–1998
A Visual Syntax for Logic and Logic Programming
JAUME AGUST Í, Jordi Puigsegur, Dave Robertson · Journal of Visual Languages & Computing · 1998 · 29 citations
Visual Syntax, Applied Logic, Engineering +5
Rows per page
1–1 of 1