Abstract semantic graph

Known as: ASG, Term graph

In computer science, an abstract semantic graph (ASG) or term graph is a form of abstract syntax in which an expression of a formal or programming…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

A formal graph system (FGS) is a logic programming system that directly manipulates graphs by dealing with term graph patterns…

2012

The goal in blog search is to rank blogs according to their recurrent relevance to the topic of the query. State-of-the-art…

2006

2005

In the double-pushout approach to graph transformations, most authors assume the left-hand side to be injective, since the…

1999

The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and…

1998

We present a typing concept for second-order term graphsthat doesnot consider the types as an external add-on, but as an integral…

1995

Innnite terms in universal algebras are a well-known topic since the seminal work of the ADJ group 1]. The recent interest in the…

1995

The concept of graph substitution recently introduced by the authors is applied to term graphs, yielding a uniform framework for…

1995

This paper proves the extension of Kruskal-Friedman theorem, which is an extension of the ordinary Kruskal's theorem with gap…

1993