scholarly journals Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic

2005 ◽  
pp. 48-64 ◽  
Author(s):  
Silvio Ranise ◽  
Christophe Ringeissen ◽  
Calogero G. Zarba
Keyword(s):  
Data Structures ◽  
Combining Data

Specification scheme for the visualisation of data structures

1994 ◽  
Vol 9 (3) ◽  
pp. 127
Author(s):  
X.-B. Lu ◽  
F. Stetter
Keyword(s):  
Data Structures

The Social Furniture of Virtual Worlds

Disputatio ◽  
2019 ◽  
Vol 11 (55) ◽  
pp. 345-369
Author(s):  
Peter Ludlow
Keyword(s):  
Large Class ◽  
Data Structures ◽  
Virtual Worlds ◽  
Causal Powers ◽  
Virtual Objects ◽  
David Chalmers ◽  
The Social

AbstractDavid Chalmers argues that virtual objects exist in the form of data structures that have causal powers. I argue that there is a large class of virtual objects that are social objects and that do not depend upon data structures for their existence. I also argue that data structures are themselves fundamentally social objects. Thus, virtual objects are fundamentally social objects.

Sign in / Sign up

Export Citation Format

Share Document