Logic Express

Logic Express was a "light" version of Logic Pro, a MIDI sequencer and digital audio workstation software application maintained by Apple that runs… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
We describe a systematic method to build a logic from any programming language described as a Pure Type System (PTS). The… Expand
  • figure 1
Is this relevant?
2008
2008
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In… Expand
Is this relevant?
2008
2008
This brand-new Apple-certified guide, reconceived for Logic's new interface, uses all-new projects and media files to show you… Expand
Is this relevant?
2007
2007
This brand-new Apple-certified guide, reconceived for Logic's new interface, uses all-new projects and media files to show you… Expand
Is this relevant?
2007
2007
En esta entrega sobre tecnicas basicas de Logic Express trataremos de introducir la utilizacion de los plug-in de Logic Express… Expand
Is this relevant?
2006
2006
The object-calculus is an imperative and object-based programming language in which every object comes equipped with its own… Expand
  • table 1
  • table 2
  • table 5
  • table 6
  • table 7
Is this relevant?
2005
2005
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with… Expand
  • table 2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Abstract. We consider concurrent probabilistic systems, based on probabilistic automata of Segala & Lynch [55], which allow non… Expand
  • figure 5
Is this relevant?
1996
1996
Abstract Query languages for retrieving information from disjunctive databases are an interesting open area of research. In this… Expand
Is this relevant?
1995
1995
In this paper we study the expressive power of major nonmonotonic formalisms — among them circumscription, default logic, and… Expand
Is this relevant?